Local properties in modal logic

DOI10.1016/j.artint.2012.04.007zbMath1251.03026MaRDI QIDQ1761295

Barteld P. Kooi, Hans P. van Ditmarsch, Wiebe van der Hoek

Publication date: 15 November 2012

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2012.04.007

zbMATH Keywords

modal logic; knowledge representation; epistemic logic; correspondence; canonicity; local properties

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B42: Logics of knowledge and belief (including belief change)

68T30: Knowledge representation

Related Items

A minimal logic for interactive epistemology, Second-order propositional modal logic: expressiveness and completeness results, Beyond Knowing That: A New Generation of Epistemic Logics

Cites Work

• Axiomatising the logic of computer programming
• Generalized quantifiers and modal logic
• A model existence theorem in infinitary propositional modal logic
• Axiomatizations with context rules of inference in modal logic
• A general approach to multi-agent minimal knowledge: With tools and samples
• Intention is choice with commitment
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Interpolation for extended modal languages
• Knowledge and common knowledge in a distributed environment
• Dynamic Epistemic Logic and Knowledge Puzzles
• Derivation rules as anti-axioms in modal logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item