Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
Main Authors: | Sadrzadeh, M, Dyckhoff, R |
---|---|
Format: | Journal article |
Published: |
2010
|
Similar Items
-
Positive logic with adjoint modalities: Proof theory, semantics, and reasoning about information
by: Sadrzadeh, M, et al.
Published: (2010) -
Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
by: Sadrzadeh, M, et al.
Published: (2009) -
Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators
by: Dyckhoff, R, et al.
Published: (2012) -
Implementation of a cut−free sequent calculus for logics with adjoint modalities
by: Kriener, M, et al.
Published: (2009) -
Reasoning about Knowledge in Linear Logic: Modalities and Complexity
by: Marion, M, et al.
Published: (2004)