Two Logical Faces of Belief Revision

DOI10.1007/978-94-007-7046-1_13zbMath1347.03026MaRDI QIDQ4982661

J. F. A. K. van Benthem

Publication date: 10 April 2015

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: http://dare.uva.nl/personal/pure/en/publications/two-logical-faces-of-belief-revision(7c5343a3-10ae-4557-80cb-df6965376dcb).html

zbMATH Keywords

dynamic doxastic logic; belief change; dynamic epistemic logic

Mathematics Subject Classification ID

03B42: Logics of knowledge and belief (including belief change)

Related Items

A general framework for dynamic epistemic logic: towards canonical correspondences, On axiomatizations of public announcement logic, Recapturing dynamic logic of relation changers via bounded morphisms, On inverse operators in dynamic epistemic logic, A General Framework for Modal Correspondence in Dynamic Epistemic Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Sahlqvist correspondence for modal mu-calculus
• Reasoning about preference dynamics.
• Dynamic logics of evidence-based beliefs
• Prolegomena to dynamic logic for belief revision
• Logics of communication and change
• Dynamic doxastic logic: why, how, and where to?
• Merging frameworks for interaction
• The complexity of reasoning about knowledge and time. I: Lower bounds
• Conditional logics of normality: A modal approach
• A knowledge based semantics of messages
• Default logic as dynamic doxastic logic
• The undecidability of iterated modal relativization
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Schematic Validity in Dynamic Epistemic Logic: Decidability
• Logical Dynamics of Information and Interaction
• Dynamic Epistemic Logic and Knowledge Puzzles
• Dynamic logic for belief revision
• Dynamic logic of preference upgrade
• Belief Revision From the Point of View of Doxastic Logic
• Intelligent Agents and Multi-Agent Systems