Four Logics for Minimal Belief Revision

Giacomo Bonanno (gfbonanno@ucdavis.edu)

No 209, Working Papers from University of California, 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 a logic based on three modal operators: a belief operator, an information operator and a next-time operator. Four logics of increasing strength are proposed. The first is a logic that captures the most basic notion of minimal belief revision. The second characterizes the qualitative content of Bayes' rule. The third provides an axiomatization of the AGM theory of belief revision and the fourth provides a characterization of the notion of plausibility ordering of the set of possible worlds.

Pages: 23
Date: 2007-04-11
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
https://repec.dss.ucdavis.edu/files/KtuMZr8q3ZT3AjYHSFuEK86M/07-6.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:209

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 (lshelp@ucdavis.edu).