Axiomatization of the AGM Theory of Belief Revision in a Temporal Logic

Giacomo Bonanno ()

Working Papers from University of California at Davis, Department of Economics

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

Date: 2006-04
View list of references

Downloads: (external link)
http://www.econ.ucdavis.edu/working_papers/06-17.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: http://EconPapers.repec.org/RePEc:ecl:ucdeco:06-17

Access Statistics for this paper

More papers in Working Papers from University of California at Davis, Department of Economics
Contact information at EDIRC.
Series data maintained by ().