Irrevocable Belief Revision in Dynamic Doxastic Logic
Krister Segerberg · Notre Dame Journal of Formal Logic · 1998
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.