Irrevocable Belief Revision in Dynamic Doxastic Logic

Notre Dame Journal of Formal Logic 39 (3):287-306 (1998)
  Copy   BIBTEX

Abstract

In this paper we present a new modeling for belief revision that is what we term irrevocable. This modeling is of philosophical interest since it captures some features of suppositional reasoning, and of formal interest since it is closely connected with AGM, yet provides for iterated belief revision. The analysis is couched in terms of dynamic doxastic logic

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1039182247

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,471

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Default logic as dynamic doxastic logic.Krister Segerberg - 1999 - Erkenntnis 50 (2-3):333-352.
Some completeness theorems in the dynamic doxastic logic of iterated belief revision.Krister Segerberg - 2010 - Review of Symbolic Logic 3 (2):228-246.
Belief Revision in Dynamic Epistemic Logic and Ranking Theory.Peter Fritz - manuscript
Bridging learning theory and dynamic epistemic logic.Nina Gierasimczuk - 2009 - Synthese 169 (2):371-384.
Propositional Dynamic Logic as a Logic of Belief Revision Vol. 5110 Lnai.Jan van Eijck & Yanjing Wang - 2008
Prolegomena to dynamic logic for belief revision.Hans P. Van Ditmarsch - 2005 - Synthese 147 (2):229-275.
Dynamic logic for belief revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.
Moore problems in full dynamic doxastic logic.Krister Segerberg - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):95-110.
Yet more modal logics of preference change 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.
Propositional dynamic logic as a logic of knowledge update and belief revision.Jan van Eijck - unknown
DΔL: a dynamic deontic logic.Krister Segerberg - 2012 - Synthese 185 (S1):1-17.

Analytics

Added to PP
2010-08-24

Downloads
56 (#288,214)

6 months
10 (#280,381)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Krister Segerberg
Uppsala University

Citations of this work

Dynamic logic for belief revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.
Shifting Priorities: Simple Representations for Twenty-seven Iterated Theory Change Operators.Hans Rott - 2009 - In Jacek Malinowski David Makinson & Wansing Heinrich (eds.), Towards Mathematical Philosophy. Springer. pp. 269–296.
Indicative Conditionals and Graded Information.Ivano Ciardelli - 2020 - Journal of Philosophical Logic 49 (3):509-549.
AGM 25 Years: Twenty-Five Years of Research in Belief Change.Eduardo Fermé & Sven Ove Hansson - 2011 - Journal of Philosophical Logic 40 (2):295 - 331.

View all 40 citations / Add more citations

References found in this work

A counterexample to modus ponens.Vann McGee - 1985 - Journal of Philosophy 82 (9):462-471.
Two modellings for theory change.Adam Grove - 1988 - Journal of Philosophical Logic 17 (2):157-170.
Belief Revision From the Point of View of Doxastic Logic.Krister Segerberg - 1995 - Logic Journal of the IGPL 3 (4):535-553.
Two methods of constructing contractions and revisions of knowledge systems.Hans Rott - 1991 - Journal of Philosophical Logic 20 (2):149 - 173.

Add more references