Iterative and fixed point common belief
- Aviad Heifetz
- … show all 1 hide
Rent the article at a discountRent now
* Final gross prices may vary according to local VAT.Get Access
We define infinitary extensions to classical epistemic logic systems, and add also a common belief modality, axiomatized in a finitary, fixed-point manner. In the infinitary K system, common belief turns to be provably equivalent to the conjunction of all the finite levels of mutual belief. In contrast, in the infinitary monotonic system, common belief implies every transfinite level of mutual belief but is never implied by it. We conclude that the fixed- point notion of common belief is more powerful than the iterative notion of common belief.
- Barwise, J. (1988), Three views of common knowledge, in: Proc. of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann, California, pp. 365–379.
- Barwise, J. (1989), On the model theory of common knowledge, in: The Situation in Logic, CSLI Lecture Notes 17, pp. 201–220.
- Chellas, B. F. (1980), Modal Logic, an Introduction, Cambridge University Press, Cambridge.
- Fagin, R. (1994), A quantitative analysis of modal logic, J. Symbolic Logic 59, 209–252.
- Fagin, R., Halpern, J. Y., Moses, Y. and Vardi, M. (1995), Reasoning about Knowledge, MIT Press.
- Geanakoplos, J. (1995), Common knowledge, in: R. J. Aumann and S. Hart (eds.), Handbook of Game Theory with Economic Applications, Vol. II, Chapter 40, Elsevier– North-Holland.
- Halpern, J. Y. and Moses, Y. O. (1992), A guide to completeness and complexity for modal logics of knowledge and beliefs, Artif. Intell. 54, 319–379.
- Heifetz, A. (1997), Infinitary S5 epistemic logic, Math. Log. Quart. 43, 333–342. A preliminary version appeared in the Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, Morgann Kaufmann, California, pp. 95–107.
- Heifetz, A. (1996), Common belief in monotonic epistemic logic, Mathematical Social Sciences 32, 109–123.
- Kaneko, M. and Nagashima, T. (1997), Axiomatic indefinability of common knowledge in finitary logics, in: M. Bacharach, L. A. Gerard-Varet, P. Mongin and H. Shin (eds.), Epistemic Logic and the Theory of Games and Decisions, Kluwer Academic Publishers.
- Karp, C. R. (1964), Languages with Expressions of Infinite Length, North-Holland Publ. Comp., Amsterdam.
- Lismont, L. (1992), La Connaissance Commune – Approches Modale, Ensembliste et Probabiliste, Ph.D. Dissertation, Université Catholique de Louvain.
- Lismont, L. (1993), La connaissance commune en logique modale, Mathematical Logic Quarterly 39, 115–130.
- Lismont, L. (1995), Common knowledge: Relating anti-founded situation semantics to modal logic neighborhood semantics, J. Logic, Language and Information 3, 285–302.
- Lismont, L. and Mongin, P. (1994), On the logic of common belief and common knowledge, Theory and Decision 37, 75–106.
- Lismont, L. and Mongin, P. (1995), Belief closure: A semantics of common knowledge for modal propositional logic, Mathematical Social Sciences 30, 127–153.
- Monderer, D. and Samet, D. (1989), Approximating common knowledge with common beliefs, Games and Economic Behavior 1, 170–190.
- Iterative and fixed point common belief
Journal of Philosophical Logic
Volume 28, Issue 1 , pp 61-79
- Cover Date
- Print ISSN
- Online ISSN
- Kluwer Academic Publishers
- Additional Links
- common knowledge
- common belief
- infinitary logic
- Aviad Heifetz (1)
- Author Affiliations
- 1. The School of Economics, Tel Aviv University, Tel Aviv, Israel