Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision

DOI10.1016/j.entcs.2006.05.034zbMath1262.03026OpenAlexW2031477175MaRDI QIDQ4917986

Sonja Smets, Alexandru Baltag

Publication date: 3 May 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2006.05.034

zbMATH Keywords

modal logicbelief revisionmulti-agent systemdynamic epistemic logicpublic announcementbelief updateconditional belief

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Agent technology and artificial intelligence (68T42)

Related Items (43)

Logics of informational interactions ⋮ CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS ⋮ A discrete duality between nonmonotonic consequence relations and convex geometries ⋮ Evidence and plausibility in neighborhood structures ⋮ CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE ⋮ A topological approach to full belief ⋮ Reasoning dynamically about what one says ⋮ Propositional Dynamic Logic as a Logic of Belief Revision ⋮ Modeling correlated information change: from conditional beliefs to quantum conditionals ⋮ A Qualitative Theory of Dynamic Interactive Belief Revision ⋮ Modeling value disagreement ⋮ Bisimulation for conditional modalities ⋮ Dynamic logics of evidence-based beliefs ⋮ Towards a ``sophisticated model of belief dynamics. I: The general framework ⋮ Comments to `Logics of public communications' ⋮ A dynamic-logical perspective on quantum behavior ⋮ Intricate axioms as interaction axioms ⋮ A game semantics for system P ⋮ Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision ⋮ Agreement theorems in dynamic-epistemic logic ⋮ Keep changing your beliefs, aiming for the truth ⋮ AGM 25 years. Twenty-five years of research in belief change ⋮ Awareness dynamics ⋮ A two-level perspective on preference ⋮ McCarthy variations in a modal key ⋮ Logic of change, change of logic ⋮ Von Wright's ``The logic of preference revisited ⋮ Beliefs supported by binary arguments ⋮ DEL-sequents for progression ⋮ DEL-sequents for progression ⋮ Towards a ``sophisticated model of belief dynamics. II: Belief revision ⋮ A logic of plausible justifications ⋮ Justified Belief and the Topology of Evidence ⋮ Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points ⋮ Probabilistic dynamic belief revision ⋮ Logical Dynamics of Evidence ⋮ A Dynamic Analysis of Interactive Rationality ⋮ On Revocable and Irrevocable Belief Revision ⋮ DDL as an “Internalization” of Dynamic Belief Revision ⋮ Introspective forgetting ⋮ Indicative conditionals and graded information ⋮ Dynamic Epistemic Logic as a Substructural Logic ⋮ Public announcements, public lies and recoveries

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Prolegomena to dynamic logic for belief revision
• Logics of communication and change
• The surprise examination in dynamic epistemic logic
• Two modellings for theory change
• Counterfactuals and updates as inverse modalities
• Default logic as dynamic doxastic logic
• Logics for epistemic programs
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• On the logic of theory change: Partial meet contraction and revision functions
• Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
• Intelligent Agents and Multi-Agent Systems
• Irrevocable belief revision in dynamic doxastic logic

This page was built for publication: Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision