Four Logics for Minimal Belief Revision
AbstractIt 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.
Download InfoIf you experience problems downloading a file, check if you have the proper application to view it first. In case of further problems read the IDEAS help page. Note that these files are not on the IDEAS site. Please be patient as the files may be large.
Bibliographic InfoPaper provided by University of California, Davis, Department of Economics in its series Working Papers with number 76.
Date of creation: 12 Apr 2007
Date of revision:
Please report citation or reference errors to , or , if you are the registered author of the cited work, log in to your RePEc Author Service profile, click on "citations" and make appropriate adjustments.:
- Oliver Board, 2002.
"Dynamic Interactive Epistemology,"
Economics Series Working Papers
125, University of Oxford, Department of Economics.
- E. Ray Canterbery, 1984. "Introduction," Journal of Post Keynesian Economics, M.E. Sharpe, Inc., vol. 7(1), pages 4-6, October.
For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: (Scott Dyer).
If references are entirely missing, you can add them using this form.