Positive logic with adjoint modalities: proof theory, semantics and reasoning about information

DOI10.1016/J.ENTCS.2009.07.102MaRDI QIDQ2805170zbMATH OpenOpenAlexFDO

Authors Mehrnoosh Sadrzadeh, Roy Dyckhoff

Publication date 10 May 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2009.07.102

zbMATH Keywords

informationproof theorybeliefepistemic logicadjunctionGalois connectiondistributive latticedoxastic logicpositive modal logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) Logical aspects of lattices and related structures (03G10)

Recommendations

• POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION
• Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators
• Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators
• Epistemic Actions as Resources
• scientific article; zbMATH DE number 4058923

Cites work

• scientific article; zbMATH DE number 1301971 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 1446599 (Why is no real title available?)
• A Sahlqvist theorem for distributive modal logic
• Cut-free sequent calculi for some tense logics
• Deep sequent systems for modal logic
• Display logic
• Epistemic Actions as Resources
• Logics for epistemic programs
• Logics without the contraction rule
• Modal logic
• Multimodal Linguistic Inference
• Ockham's razor and reasoning about information flow
• Positive logic with adjoint modalities: proof theory, semantics and reasoning about information
• Positive modal logic
• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
• Proof analysis in modal logic
• Substructural logics on display
• Temporal algebra

Cited in

(8)

• A positive information logic for inferential information
• Positive logic with adjoint modalities: proof theory, semantics and reasoning about information
• A categorical outlook on relational modalities and simulations
• A many-sorted epistemic logic for chromatic hypergraphs
• Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators
• Modes of adjointness
• Learning in a changing world, an algebraic modal logical approach
• POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION

Describes a project that uses

Uses Software

• Aximo

This page was built for publication: Positive logic with adjoint modalities: proof theory, semantics and reasoning about information

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2805170)