## Notre Dame Journal of Formal Logic

### Irrevocable Belief Revision in Dynamic Doxastic Logic

Krister Segerberg

#### 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.

#### Article information

Source
Notre Dame J. Formal Logic Volume 39, Number 3 (1998), 287-306.

Dates
First available: 6 December 2002

http://projecteuclid.org/euclid.ndjfl/1039182247

Mathematical Reviews number (MathSciNet)
MR1741539

Digital Object Identifier
doi:10.1305/ndjfl/1039182247

Zentralblatt MATH identifier
0972.03015

#### Citation

Segerberg, Krister. Irrevocable Belief Revision in Dynamic Doxastic Logic. Notre Dame Journal of Formal Logic 39 (1998), no. 3, 287--306. doi:10.1305/ndjfl/1039182247. http://projecteuclid.org/euclid.ndjfl/1039182247.

#### References

• [1] Alchourrón, C., P. Gärdenfors, and D. Makinson, On the logic of theory change,'' The Journal of Symbolic Logic, vol. 50 (1985), pp. 510--30.
• [2] Arló Costa, H., Iterated epistemic conditionals,'' pp. 14--31 in The Parikh Project: Seven Papers in Honour of Rohit, Uppsala Prints and Preprints in Philosophy 18, Uppsala, 1996.
• [3] Grove, A., Two modelings for theory change,'' Journal of Philosophical Logic, vol. 17 (1988), pp. 157--70.
• [4] Lewis, D., Counterfactuals, Blackwell, Oxford, 1973.
• [5] Lindström, S., and W. Rabinowicz, Epistemic entrenchment with incomparabilities and relational belief revision,'' pp. 93--126 in The Logic of Theory Change, edited by A. Fuhrmann and M. Morreau, Springer-Verlag, Berlin, 1991.
• [6] McGee, V., A counterexample to modus ponens,'' Journal of Philosophy, vol. 82 (1985), pp. 462--71.
• [7] Rott, H., Two methods of constructing contractions and revisions of knowledge systems,'' Journal of Philosophical Logic, vol. 20 (1991), pp. 49--73.
• [8] Segerberg, K., Belief revision from the point of view of doxastic logic,'' Bulletin of the IGPL, vol. 3 (1995), pp. 534--53.
• [9] Segerberg, K., Proposal for a theory of belief revision along the lines of Lindström and Rabinowicz,'' Fundamenta Informaticae, vol. 32 (1997), pp. 183--91.