Ockham's razor and reasoning about information flow

DOI10.1007/s11229-008-9414-7zbMath1178.03080arXiv0808.1354OpenAlexW2103459271MaRDI QIDQ833039

Mehrnoosh Sadrzadeh

Publication date: 11 August 2009

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0808.1354

zbMATH Keywords

algebraic modal logicGalois adjointsreasoning about knowledge and update

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Other algebras related to logic (03G25)

Related Items

Modes of adjointness, POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION, Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information

Cites Work

• A Sahlqvist theorem for distributive modal logic
• Language in action
• Logics for epistemic programs
• Logics of public communications
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• An extension of the Galois theory of Grothendieck
• Epistemic Actions as Resources
• Boolean Algebras with Operators. Part I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item