POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION
From MaRDI portal
Publication:4933590
DOI10.1017/S1755020310000134zbMath1211.03040MaRDI QIDQ4933590
Roy Dyckhoff, Mehrnoosh Sadrzadeh
Publication date: 14 October 2010
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
modal logicalgebraic semanticsdynamic epistemic logiccut-free sequent calculusmuddy children puzzlereasoning in multiagent systems
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Agent technology and artificial intelligence (68T42)
Related Items (4)
A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic ⋮ Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators ⋮ Tense logics over lattices ⋮ Positive monotone modal logic
Uses Software
Cites Work
- 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
- Positive modal logic
- Logics for epistemic programs
- Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information
- Temporal algebra
- Sequent Calculi for Normal Modal Propositional Logics
- Substructural logics on display
- Multimodal Linguistic Inference
- Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
- Aximo: Automated Axiomatic Reasoning for Information Update
- Epistemic Actions as Resources
This page was built for publication: POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION
