DDL as an “Internalization” of Dynamic Belief Revision

DOI10.1007/978-94-007-7046-1_12zbMath1347.03022OpenAlexW2190362671MaRDI QIDQ4982660

Virginie Fiutek, Alexandru Baltag, Sonja Smets

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/ddl-as-an-internalization-of-dynamic-belief-revision(c457c4ad-54a8-41b5-be7f-aeb866ee8d0a).html

zbMATH Keywords

belief revisiondynamic doxastic logicdynamic epistemic logic

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dynamic logics of evidence-based beliefs
• Dynamic doxastic logic: why, how, and where to?
• Dynamic epistemic logic
• DDL unlimited: Dynamic doxastic logic for introspective agents
• Severe withdrawal (and recovery)
• Logical Dynamics of Information and Interaction
• Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators
• Dynamic logic for belief revision
• On the logic of theory change: Partial meet contraction and revision functions
• A brief note about Rott contraction
• A completeness proof in full DDL
• Belief Revision From the Point of View of Doxastic Logic
• Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
• Irrevocable belief revision in dynamic doxastic logic

This page was built for publication: DDL as an “Internalization” of Dynamic Belief Revision