Local properties in modal logic

DOI10.1016/J.ARTINT.2012.04.007MaRDI QIDQ1761295zbMATH OpenOpenAlexFDO

Authors Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi

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

canonicitycorrespondenceepistemic logicknowledge representationlocal propertiesmodal logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 7444842
• Global and local graph modifiers
• scientific article; zbMATH DE number 2196583
• The expressivity of factual change in dynamic epistemic logic
• `Knowable' as `known after an announcement'

Cites work

• A general approach to multi-agent minimal knowledge: With tools and samples
• A model existence theorem in infinitary propositional modal logic
• Axiomatising the logic of computer programming
• Axiomatizations with context rules of inference in modal logic
• Derivation rules as anti-axioms in modal logic
• Dynamic Epistemic Logic and Knowledge Puzzles
• Generalized quantifiers and modal logic
• Handbook of modal logic
• scientific article; zbMATH DE number 3821688 (Why is no real title available?)
• scientific article; zbMATH DE number 4033710 (Why is no real title available?)
• scientific article; zbMATH DE number 4041866 (Why is no real title available?)
• scientific article; zbMATH DE number 140411 (Why is no real title available?)
• scientific article; zbMATH DE number 1032009 (Why is no real title available?)
• scientific article; zbMATH DE number 1489632 (Why is no real title available?)
• scientific article; zbMATH DE number 762058 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Intention is choice with commitment
• Interpolation for extended modal languages
• Knowledge and common knowledge in a distributed environment
• Modal logic
• Multi-agent only-knowing
• The logic of public announcements, common knowledge, and private suspicions

Cited in

(9)

• Second-order propositional modal logic: expressiveness and completeness results
• Finean essence, local necessity, and pure logical properties
• scientific article; zbMATH DE number 432702 (Why is no real title available?)
• Beyond knowing that: a new generation of epistemic logics
• scientific article; zbMATH DE number 4152550 (Why is no real title available?)
• Notions of locality and their logical characterizations over finite models
• A minimal logic for interactive epistemology
• Simple Axioms for Local Properties
• A modal two-variable fragment of second-order propositional modal logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1761295)