Local properties in modal logic
From MaRDI portal
Publication:1761295
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
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