Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information

DOI10.1016/j.entcs.2009.07.102zbMath1337.03031OpenAlexW2126435975MaRDI QIDQ2805170

Roy Dyckhoff, Mehrnoosh Sadrzadeh

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

informationGalois connectionproof theorydistributive latticeepistemic logicbeliefadjunctiondoxastic logicpositive modal logic

Mathematics Subject Classification ID

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

Related Items

Modes of adjointness, POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION, Learning in a Changing World, an Algebraic Modal Logical Approach, Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information, A categorical outlook on relational modalities and simulations

Uses Software

• Aximo

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A Sahlqvist theorem for distributive modal logic
• Proof analysis in modal logic
• Ockham's razor and reasoning about information flow
• Cut-free sequent calculi for some tense logics
• Display logic
• Positive modal logic
• Logics for epistemic programs
• Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information
• Logics without the contraction rule
• Temporal algebra
• Substructural logics on display
• Multimodal Linguistic Inference
• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
• Epistemic Actions as Resources