Revocable belief revision

DOI10.1007/s11225-013-9529-9zbMath1329.03054OpenAlexW2022591288MaRDI QIDQ2016055

Hans P. van Ditmarsch

Publication date: 19 June 2014

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-013-9529-9

zbMATH Keywords

belief revisionmulti-agent systemsdynamic 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A simple modal logic for belief revision
• Prolegomena to dynamic logic for belief revision
• Logics of communication and change
• Merging frameworks for interaction
• Two modellings for theory change
• Nonmonotonic reasoning, preferential models and cumulative logics
• Reasoning about information change
• DDL unlimited: Dynamic doxastic logic for introspective agents
• Descriptions of game actions
• Dynamic interactive epistemology
• Some logics of iterated belief change
• Refined epistemic entrenchment
• Some remarks on the model theory of epistemic plausibility models
• Conditional Epistemic Planning
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames
• Consistency Preservation and Crazy Formulas in BMS
• Dynamic logic for belief revision
• Expressivity and completeness for public update logics via reduction axioms
• On the logic of theory change: Partial meet contraction and revision functions
• Coherence and Conservatism in the Dynamics of Belief II: Iterated Belief Change without Dispositional Coherence
• Merging Information Under Constraints: A Logical Framework
• Intelligent Agents and Multi-Agent Systems
• Irrevocable belief revision in dynamic doxastic logic

This page was built for publication: Revocable belief revision