My beliefs about your beliefs: a case study in theory of mind and epistemic logic

DOI10.1007/s11229-006-9144-7zbMath1121.03014OpenAlexW2074111633MaRDI QIDQ885521

Hans P. van Ditmarsch, Willem Adrian Labuschagne

Publication date: 14 June 2007

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-006-9144-7

zbMATH Keywords

PreferencesBelief revisionModal logicDynamic epistemic logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42)

Related Items

Logic and social cognition. The facts matter, and so do computational models, A Qualitative Theory of Dynamic Interactive Belief Revision, Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief, Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic, AGM 25 years. Twenty-five years of research in belief change, Hybrid-logical reasoning in the Smarties and Sally-Anne tasks, Learning to apply theory of mind, Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization

Cites Work

• Prolegomena to dynamic logic for belief revision
• Knowledge, belief and time
• Nonmonotonic reasoning, preferential models and cumulative logics
• DDL unlimited: Dynamic doxastic logic for introspective agents
• Dynamic interactive epistemology
• Logics for epistemic programs
• Preference-based belief operators
• Knowledge, Belief and Counterfactual Reasoning in Games
• Dynamic logic of preference upgrade
• Systems for Knowledge and Belief
• Intelligent Agents and Multi-Agent Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item