Skip to main content
SpringerLink
Log in

A Simple Modal Logic for Belief Revision

  • Published:
Synthese Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • C. Alchourron P. Gärdenfors D. Makinson (1985) ArticleTitleOn the Logic of Theory Change; Partial Meet Contraction and Revision Functions The Journal of Symbolic Logic 50 510–530

    Google Scholar 

  • P. Battigalli (1996) ArticleTitleStrategic Independence and Perfect Bayesian Equilibria Journal of Economic Theory 70 201–234

    Google Scholar 

  • P. Battigalli G. Bonanno (1992) ArticleTitleThe Logic of Belief Persistence Economics and Philosophy 13 39–59

    Google Scholar 

  • P. Battigalli G. Bonanno (1999) ArticleTitleRecent Results on Belief, Knowledge and the Epistemic Foundations of Game Theory Research in Economics 53 149–225

    Google Scholar 

  • Blackburn, P., M. de Rijke, and Y. Venema: 2001, Modal Logic, Cambridge University Press

  • O. Board (2004) ArticleTitleDynamic Interactive Epistemology Games and Economic Behavior 49 49–80 Occurrence Handle10.1016/j.geb.2003.10.006

    Article  Google Scholar 

  • G. Bonanno (1993) ArticleTitleRational Belief Equilibria Economic Notes 22 430–463

    Google Scholar 

  • Brown, P. M.: 1976, ‘Conditionalization and Expected Utility’, Philosophy of Science 43, 415–419

  • Chellas, B.: 1984, Modal Logic; An Introduction, Cambridge University Press

  • Dekel, E. and F. Gul: 1997, ‘Rationality and Knowledge in Game Theory’, in: D. M. Kreps, and K. F. Wallis (eds.), Advances in Economic Theory, Seventh World Congress, Cambridge University Press, 87–172

  • van Ditmarsch, H. and W. van der Hoek: 2004, Dynamic epistemic logic, working paper

  • N. Friedman J. Halpern (1999) ArticleTitleBelief Revision: A Critique Journal of Logic, Language, and Information 8 401–420 Occurrence Handle10.1023/A:1008314832430

    Article  Google Scholar 

  • D. Fudenberg J. Tirole (1991) ArticleTitlePerfect Bayesian Equilibrium and Sequential Equilibrium Journal of Economic Theory 53 236–260

    Google Scholar 

  • A. Fuhrmann (1989) ArticleTitleReflective Modalities and Theory Change Synthese 81 115–134 Occurrence Handle10.1007/BF00869347

    Article  Google Scholar 

  • A. Fuhrmann (1991) On the Modal Logic of Theory Change A. Fuhrmann (Eds) The logic of theory change, Lecture notes in Artificial Intelligence No. 465 Springer-Verlag Berlin 259–281

    Google Scholar 

  • Gärdenfors, P.: 1988, Knowledge in Flux: Modeling the Dynamics of Epistemic States, MIT Press

  • V. Goranko S. Passy (1992) ArticleTitleUsing the Universal Modality: Gains and Questions Journal of Logic and Computation 2 5–30

    Google Scholar 

  • Hansson, S. O.: 1994, ‘Taking Belief Bases Seriously’, in D. Prawitz and D. Westerståhl (eds.), Logic and Philosophy of Science in Uppsala, Kluwer, 13–28

  • Harman, G.: 1986, Change in View: Principles of Reasoning, MIT Press

  • Hintikka, J.: 1962, Knowledge and Belief, Cornell University Press

  • W. Hoek Particlevan der (1993) ArticleTitleSystems for Knowledge and Belief Journal of Logic and Computation 3 173–195

    Google Scholar 

  • van der Hoek, W. and M. Pauly: forthcoming ‘Game Theory’, in: J. van Benthem, P. Blackburn, and F. Wolter (eds.), Handbook of Modal Logic.

  • Howson, C, and P. Urbach: 1989, Scientific Reasoning, Open Court.

  • Jeffrey, R.: 1983, The Logic of Decision, 2nd ed. University of Chicago Press.

  • D. Kreps R. Wilson (1982) ArticleTitleSequential Equilibria Econometrica 50 863–894

    Google Scholar 

  • S. Kripke (1963) ArticleTitleA Semantical Analysis of Modal Logic I: Normal Propositional Calculi Zeitschrift für Mathematische Logik and Grundlagen der Mathematik 9 67–96

    Google Scholar 

  • I. Levi (1988) ArticleTitleIteration of conditionals and the Ramsey test Synthese 76 49–81 Occurrence Handle10.1007/BF00869641

    Article  Google Scholar 

  • C.-J. Liau (2003) ArticleTitleBelief, Information Acquisition, and Trust in Multi-Agent Systems – A Modal Logic Formulation Artificial Intelligence 149 31–60 Occurrence Handle10.1016/S0004-3702(03)00063-8

    Article  Google Scholar 

  • Maher, P.: 1993, Betting on Theories, Cambridge University Press

  • H. Rott (1991) ArticleTitleTwo Methods of Constructing Contractions and Revisions of Knowledge Systems Journal of Philosophical Logic 20 149–173 Occurrence Handle10.1007/BF00284973

    Article  Google Scholar 

  • Segerberg, K.: 1999, ‘Two traditions in the Logic of Belief: Bringing them Together’, in: H. J, Ohlbach and U. Reyle (eds.), Logic, Language and Reasoning, Kluwer Academic Publishers. pp. 135–147

  • P. Teller (1973) ArticleTitleConditionalization and Observation Synthese 26 218–258 Occurrence Handle10.1007/BF00873264

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Economics, University of California, Davis, CA, 95616-8578, U.S.A.

    Giacomo Bonanno

Authors
  1. Giacomo Bonanno
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Giacomo Bonanno.

Additional information

Giacomo Bonanno: I am grateful to two anonymous reviewers for helpful and constructive comments. A first draft of this paper was presented at the Sixth Conference on Logic and the Foundations of Game and Decision Theory (LOFT6), Leipzig, July 2004.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bonanno, G. A Simple Modal Logic for Belief Revision. Synthese 147, 193–228 (2005). https://doi.org/10.1007/s11229-005-1348-8

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11229-005-1348-8

Keywords

Search

Navigation