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.
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
P. Battigalli (1996) ArticleTitleStrategic Independence and Perfect Bayesian Equilibria Journal of Economic Theory 70 201–234
P. Battigalli G. Bonanno (1992) ArticleTitleThe Logic of Belief Persistence Economics and Philosophy 13 39–59
P. Battigalli G. Bonanno (1999) ArticleTitleRecent Results on Belief, Knowledge and the Epistemic Foundations of Game Theory Research in Economics 53 149–225
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
G. Bonanno (1993) ArticleTitleRational Belief Equilibria Economic Notes 22 430–463
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
D. Fudenberg J. Tirole (1991) ArticleTitlePerfect Bayesian Equilibrium and Sequential Equilibrium Journal of Economic Theory 53 236–260
A. Fuhrmann (1989) ArticleTitleReflective Modalities and Theory Change Synthese 81 115–134 Occurrence Handle10.1007/BF00869347
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
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
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
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
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
I. Levi (1988) ArticleTitleIteration of conditionals and the Ramsey test Synthese 76 49–81 Occurrence Handle10.1007/BF00869641
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
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
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
Author information
Authors and Affiliations
Corresponding author
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
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
Issue Date:
DOI: https://doi.org/10.1007/s11229-005-1348-8