Journal of Philosophical Logic

, Volume 41, Issue 1, pp 201–236

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

Authors

    • Department of EconomicsUniversity of California
Article

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

Abstract

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.

Keywords

Branching time Belief revision Information Iterated belief revision Plausibility ordering

Copyright information

© Springer Science+Business Media B.V. 2011