Template-Type: ReDIF-Paper 1.0
Author-Name: Giacomo Bonanno
Author-Name-First: Giacomo
Author-Name-Last: Bonanno
Author-Workplace-Name: Department of Economics, University of California Davis
Title: Belief change in branching time: AGM-consistency and iterated revision
Abstract: We study belief change branching-time structures. First, we identify a property of branching-time frames that is equivalent 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, Axiomatic characterization of the AGM theory of belief revision in a temporal logic, Artificial Intelligence, 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.
Length: 34
File-URL: https://repec.dss.ucdavis.edu/files/AyKTAaebbSBs1iLMn8qWzqoP/10-1.pdf
File-Format: application/pdf
Number: 283
Classification-JEL: C0
KeyWords: iterated belief revision, branching time, information, belief, modal logic, AGM belief revision
Creation-Date: 20100112
Handle: RePEc:cda:wpaper:283