Belief Change in Branching Time: AGM-consistency and Iterated Revision
- First Online:
- 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.
KeywordsBranching time Belief revision Information Iterated belief revision Plausibility ordering
Unable to display preview. Download preview PDF.