Journal of Philosophical Logic

, Volume 41, Issue 1, pp 201–236

Belief Change in Branching Time: AGM-consistency and Iterated Revision


DOI: 10.1007/s10992-011-9202-6

Cite this article as:
Bonanno, G. J Philos Logic (2012) 41: 201. doi:10.1007/s10992-011-9202-6


We study belief change in the branching-time structures introduced in Bonanno (Artif Intell 171:144–160, 2007). First, we identify a property of branching-time frames that is equivalent (when the set of states is finite) to AGM-consistency, which is defined as follows. A frame is AGM-consistent if the partial belief revision function associated with an arbitrary state-instant pair and an arbitrary model based on that frame can be extended to a full belief revision function that satisfies the AGM postulates. Second, we provide a set of modal axioms that characterize the class of AGM-consistent frames within the modal logic introduced in Bonanno (Artif Intell 171:144–160, 2007). Third, we introduce a generalization of AGM belief revision functions that allows a clear statement of principles of iterated belief revision and discuss iterated revision both semantically and syntactically.


Branching time Belief revision Information Iterated belief revision Plausibility ordering 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  1. 1.Department of EconomicsUniversity of CaliforniaDavisUSA

Personalised recommendations