A Simple Modal Logic for Belief Revision

We propose a modal logic based on three operators, representing intial beliefs, information and revised beliefs. Three simple axioms are used to provide a sound and complete axiomatization of the qualitative part of Bayes’ rule. Some theorems of this logic are derived concerning the interaction between current beliefs and future beliefs. Information flows and iterated revision are also discussed.

[1]  Andre Fuhrmann.  Review: Peter Gardenfors, Knowledge in Flux. Modeling the Dynamics of Epistemic States; Carlos E. Alchourron, Peter Gardenfors, David Makinson, On the Logic of Theory Change: Partial Meet Contraction and Revision Functions , 1992 .

[2]  Paul Teller,et al.  Conditionalization and observation , 1973, Synthese.

[3]  G. Harman,et al.  Change in View: Principles of Reasoning. , 1988 .

[4]  Oliver Board,et al.  Dynamic interactive epistemology , 2004, Games Econ. Behav..

[5]  André Fuhrmann,et al.  On the modal logic of theory change , 1989, The Logic of Theory Change.

[6]  J. Armstrong.  Knowledge and Belief , 1953 .

[7]  Hans Rott,et al.  Two methods of constructing contractions and revisions of knowledge systems , 1991, J. Philos. Log..

[8]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[9]  Valentin Goranko,et al.  Using the Universal Modality: Gains and Questions , 1992, J. Log. Comput..

[10]  D. Fudenberg,et al.  Perfect Bayesian equilibrium and sequential equilibrium , 1991 .

[11]  Pierpaolo Battigalli,et al.  Recent results on belief, knowledge and the epistemic foundations of game theory , 1999 .

[12]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

[13]  Pierpaolo Battigalli,et al.  The Logic of Belief Persistence , 1997, Economics and Philosophy.

[14]  P. M. Brown.  Conditionalization and Expected Utility , 1976, Philosophy of Science.

[15]  David M. Kreps,et al.  Rationality and knowledge in game theory , 1997 .

[16]  Dag Westerståhl,et al.  Logic and Philosophy of Science in Uppsala. , 1994 .

[17]  Joseph Y. Halpern,et al.  Belief Revision: A Critique , 1996, J. Log. Lang. Inf..

[18]  Saul A. Kripke,et al.  Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .

[19]  André Fuhrmann,et al.  Reflective modalities and theory change , 1989, Synthese.

[20]  Wiebe van der Hoek,et al.  Systems for Knowledge and Belief , 1993, J. Log. Comput..

[21]  Brian F. Chellas.  Modal Logic: Normal systems of modal logic , 1980 .

[22]  P. Maher.  Betting on Theories , 1993 .

[23]  I. Levi.  Iteration of conditionals and the Ramsey test , 1988, Synthese.

[24]  Mordecai Kurz,et al.  On rational belief equilibria , 1994 .

[25]  Churn-Jung Liau,et al.  Belief, information acquisition, and trust in multi-agent systems--A modal logic formulation , 2003, Artif. Intell..

[26]  Krister Segerberg,et al.  Two Traditions in the Logic of Belief: Bringing them Together , 1999 .

[27]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .

[28]  Pierpaolo Battigalli,et al.  Strategic Independence and Perfect Bayesian Equilibria , 1996 .

[29]  Sven Ove Hansson,et al.  Taking Belief Bases Seriously , 1994 .