A Poor Man’s Epistemic Logic Based on Propositional Assignment and Higher-Order Observation

DOI10.1007/978-3-662-48561-3_13zbMath1471.03029OpenAlexW2293105416MaRDI QIDQ3457699

Emiliano Lorini, Andreas Herzig, Faustine Maffre

Publication date: 17 December 2015

Published in: Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-48561-3_13

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items (10)

Adding proof calculi to epistemic logics with structured knowledge ⋮ Dynamic epistemic logics: promises, problems, shortcomings, and perspectives ⋮ A logic for binary classifiers and their explanation ⋮ Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic ⋮ Possible Worlds Semantics Based on Observation and Communication ⋮ Beyond Knowing That: A New Generation of Epistemic Logics ⋮ A lightweight epistemic logic and its application to planning ⋮ Epistemic protocols for dynamic gossip ⋮ A computationally grounded logic of graded belief ⋮ Epistemic logics with structured knowledge

Cites Work

• Unnamed Item
• Dynamic epistemic logic
• A guide to completeness and complexity for modal logics of knowledge and belief
• Propositional dynamic logic of regular programs
• Gossips and telephones
• Agents that look at one another
• CONTINGENCY AND KNOWING WHETHER
• Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL

This page was built for publication: A Poor Man’s Epistemic Logic Based on Propositional Assignment and Higher-Order Observation