Axiomatization of the AGM theory of belief revision in a temporal logic

Giacomo Bonanno ()

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

Abstract: It is natural to think of belief revision as the interaction of beliefand information over time. Thus branching-time temporal logic seems a naturalsetting for a theory of belief revision. We propose two extensions of amodal logic that, besides the ""next-time"" temporal operator, contains abelief operator and an information operator. The first logic is shown toprovide an axiomatization of the first six postulates of the AGM theoryof belief revision, while the second, stronger, logic provides an axiomatizationof the full set of AGM postulates.

Keywords: Belief revision; information; temporal logic; AGM theory (search for similar items in EconPapers)
JEL-codes: C63 C70 (search for similar items in EconPapers)
Pages: 20
Date: 2006-04-17
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
https://repec.dss.ucdavis.edu/files/gho3uZ5PjRoUziC1UdCGzTQD/06-17.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:254

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 ().