Journal of Applied Non-Classical Logics 17 (2):129-155 (2007)
Authors |
|
Abstract |
We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consists of definable update rules for changing plausibility relations between worlds, which have been proposed independently in the dynamic-epistemic literature on preference change. Our analysis yields two new types of modal result. First, we obtain complete logics for concrete mechanisms of belief revision, based on compositional reduction axioms. Next, we show how various abstract postulates for belief revision can be analyzed by standard modal frame correspondences for model-changing operations
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
ISBN(s) | |
DOI | 10.3166/jancl.17.129-155 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Reasoning About Knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 1995 - MIT Press.
Facing the Future: Agents and Choices in Our Indeterminist World.Nuel Belnap - 2001 - Oxford University Press on Demand.
Defaults in Update Semantics.Frank Veltman - 1996 - Journal of Philosophical Logic 25 (3):221 - 261.
View all 29 references / Add more references
Citations of this work BETA
Truth in Fiction, Impossible Worlds, and Belief Revision.Francesco Berto & Christopher Badura - 2019 - Australasian Journal of Philosophy 97 (1):178-193.
Dynamic Logic of Preference Upgrade.Johan van Benthem & Fenrong Liu - 2007 - Journal of Applied Non-Classical Logics 17 (2):157-182.
Inquisitive Dynamic Epistemic Logic.Ivano A. Ciardelli & Floris Roelofsen - 2015 - Synthese 192 (6):1643-1687.
Merging Frameworks for Interaction.Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit - 2009 - Journal of Philosophical Logic 38 (5):491-526.
View all 117 citations / Add more citations
Similar books and articles
Prolegomena to Dynamic Logic for Belief Revision.Hans P. Van Ditmarsch - 2005 - Synthese 147 (2):229-275.
Propositional Dynamic Logic as a Logic of Belief Revision Vol. 5110 Lnai.Jan van Eijck & Yanjing Wang - 2008
Propositional Dynamic Logic as a Logic of Knowledge Update and Belief Revision.Jan van Eijck - unknown
Belief Revision in a Temporal Framework.Giacomo Bonanno - 2008 - In Krzysztof Apt & Robert van Rooij (eds.), New Perspectives on Games and Interaction. Amsterdam University Press.
Bridging Learning Theory and Dynamic Epistemic Logic.Nina Gierasimczuk - 2009 - Synthese 169 (2):371-384.
On the Logic of Iterated Belief Revision.Adnan Darwiche & Judea Pearl - 1997 - Artificial Intelligence 89 (1-2):1-29.
Belief Change as Change in Epistemic Entrenchment.Abhaya C. Nayak, Paul Nelson & Hanan Polansky - 1996 - Synthese 109 (2):143 - 174.
Probabilistic Dynamic Belief Revision.Alexandru Baltag & Sonja Smets - 2008 - Synthese 165 (2):179 - 202.
Infinitary Belief Revision.Dongmo Zhang & Norman Foo - 2001 - Journal of Philosophical Logic 30 (6):525-570.
Analytics
Added to PP index
2010-12-22
Total views
137 ( #72,257 of 2,420,984 )
Recent downloads (6 months)
4 ( #192,292 of 2,420,984 )
2010-12-22
Total views
137 ( #72,257 of 2,420,984 )
Recent downloads (6 months)
4 ( #192,292 of 2,420,984 )
How can I increase my downloads?
Downloads