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

zbMATH Keywords

information; Galois connection; proof theory; distributive lattice; epistemic logic; belief; adjunction; doxastic logic; positive modal logic

Mathematics Subject Classification ID

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

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

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