Local properties in modal logic

DOI10.1016/j.artint.2012.04.007zbMath1251.03026OpenAlexW2100016193MaRDI 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 logicknowledge representationepistemic logiccorrespondencecanonicitylocal properties

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items (4)

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

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

This page was built for publication: Local properties in modal logic