Iterative and fixed point common belief

Journal of Philosophical Logic

Volumn 28, Issue 1, 1999, Pages 61-79

  Heifetz, Aviad ^a  

^a TEL AVIV UNIVERSITY   (Israel)

Author keywords

Common belief; Common knowledge; Infinitary logic

Indexed keywords

EID: 0012991142     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/A:1004357300525     Document Type: Article

References (18)

1. 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.
2. Barwise, J. (1989), On the model theory of common knowledge, in: The Situation in Logic, CSLI Lecture Notes 17, pp. 201-220.
3. Chellas, B. F. (1980), Modal Logic, an Introduction, Cambridge University Press, Cambridge.
4. Fagin, R. (1994), A quantitative analysis of modal logic, J. Symbolic Logic 59, 209-252.
5. Fagin, R., Halpern, J. Y., Moses, Y. and Vardi, M. (1995), Reasoning about Knowledge, MIT Press.
6. 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.
7. 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.
8. Heifetz, A. (1997), Infinitary S5 epistemic logic, Math. Log. Quart. 43, 333-342.
9. A preliminary version appeared in the Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, Morgann Kaufmann, California, pp. 95-107.
10. Heifetz, A. (1996), Common belief in monotonie epistemic logic, Mathematical Social Sciences 32, 109-123.
11. Kaneko, M. and Nagashima, T. (1997), Axiomatic indefinability of common knowledge in finitary logics, in: M. Bacharach, L. A. Gérard-Varet, P. Mongin and H. Shin (eds.), Epistemic Logic and the Theory of Games and Decisions, Kluwer Academic Publishers.
12. Karp, C. R. (1964), Languages with Expressions of Infinite Length, North-Holland Publ. Comp., Amsterdam.
13. Lismont, L. (1992), La Connaissance Commune - Approches Modale, Ensembliste et Probabiliste, Ph.D. Dissertation, Université Catholique de Louvain.
14. Lismont, L. (1993), La connaissance commune en logique modale, Mathematical Logic Quarterly 39, 115-130.
15. Lismont, L. (1995), Common knowledge: Relating anti-founded situation semantics to modal logic neighborhood semantics, J. Logic, Language and Information 3, 285-302.
16. Lismont, L. and Mongin, P. (1994), On the logic of common belief and common knowledge, Theory and Decision 37, 75-106.
17. Lismont, L. and Mongin, P. (1995), Belief closure: A semantics of common knowledge for modal propositional logic, Mathematical Social Sciences 30, 127-153.
18. Monderer, D. and Samet, D. (1989), Approximating common knowledge with common beliefs, Games and Economic Behavior 1, 170-190.