Efficient reasoning about knowledge and common knowledge

DOI10.1007/978-3-031-56595-3_11MaRDI QIDQ6623954zbMATH OpenFDO

Authors Andreas Herzig, Elise Perrotin

Publication date 24 October 2024

Full work available at URL https://doi.org/10.1007/978-3-031-56595-3_11

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

Cites work

• scientific article; zbMATH DE number 3460246 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 7585720 (Why is no real title available?)
• scientific article; zbMATH DE number 6747860 (Why is no real title available?)
• A guide to completeness and complexity for modal logics of knowledge and belief
• A lightweight epistemic logic and its application to planning
• A poor man's epistemic logic based on propositional assignment and higher-order observation
• A simple account of multi-agent epistemic planning
• Conservative translations of four-valued logics in modal logic
• Contingency and knowing whether
• DEL-based epistemic planning: decidability and complexity
• Efficient reasoning in multiagent epistemic logics
• Epistemic planning for single- and multi-agent systems
• Modal logic
• Rational agency from a truth-functional perspective
• The logic of non-contingency

This page was built for publication: Efficient reasoning about knowledge and common knowledge

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