Belief change in branching time: AGM-consistency and iterated revision

Giacomo Bonanno ()

No 283, Working Papers from University of California, Davis, Department of Economics

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.

Keywords: iterated belief revision; branching time; information; belief; modal logic; AGM belief revision (search for similar items in EconPapers)
JEL-codes: C0 (search for similar items in EconPapers)
Pages: 34
Date: 2010-01-12
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://repec.dss.ucdavis.edu/files/AyKTAaebbSBs1iLMn8qWzqoP/10-1.pdf (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:cda:wpaper:283

Access Statistics for this paper

More papers in Working Papers from University of California, Davis, Department of Economics Contact information at EDIRC.
Bibliographic data for series maintained by Letters and Science IT Services Unit ().