Open Access
Summer 1998 Irrevocable Belief Revision in Dynamic Doxastic Logic
Krister Segerberg
Notre Dame J. Formal Logic 39(3): 287-306 (Summer 1998). DOI: 10.1305/ndjfl/1039182247

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.

Citation

Download Citation

Krister Segerberg. "Irrevocable Belief Revision in Dynamic Doxastic Logic." Notre Dame J. Formal Logic 39 (3) 287 - 306, Summer 1998. https://doi.org/10.1305/ndjfl/1039182247

Information

Published: Summer 1998
First available in Project Euclid: 6 December 2002

zbMATH: 0972.03015
MathSciNet: MR1741539
Digital Object Identifier: 10.1305/ndjfl/1039182247

Subjects:
Primary: 03B42
Secondary: 03B60 , 68T27

Rights: Copyright © 1998 University of Notre Dame

Vol.39 • No. 3 • Summer 1998
Back to Top