Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information
DOI10.1016/j.entcs.2009.07.102zbMath1337.03031MaRDI 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
information; Galois connection; proof theory; distributive lattice; epistemic logic; belief; adjunction; doxastic logic; positive modal logic
03B45: Modal logic (including the logic of norms)
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
03G10: Logical aspects of lattices and related structures
03F05: Cut-elimination and normal-form theorems
68T42: Agent technology and artificial intelligence
Related Items
Uses Software
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