Infinitary S5-epistemic logic

Mathematical Logic Quarterly

Volumn 43, Issue 3, 1997, Pages 333-342

  Heifetz, Aviad ^a  

^a TEL AVIV UNIVERSITY   (Israel)

Author keywords

Epistemic logic; Infinitary logic; Kripke structure; Modal logic; S5 system

Indexed keywords

EID: 0031518907     PISSN: 09425616     EISSN: None     Source Type: Journal    
DOI: 10.1002/malq.19970430306     Document Type: Article

References (11)

1. AUMANN, R., Agreeing to Disagree. Annals of Statistics 4 (1976), 1236-1239.
2. CHELLAS, B. F., Modal Logic: An Introduction, Cambridge University Press. Cambridge-New York 1980.
3. FAGIN, R., A quantitative analysis of modal logic J. Symbolic Logic 59 (1994), 209-252.
4. FAGIN, R., J. GEANAKOPLOS, J. Y. HALPERN, and M. Y. VARDI, The expressive power of the hierarchical approach to modeling knowledge and common knowledge. In: Proc. 4th Conference on Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann, Los Altos, California, 1992, pp. 229-244.
5. FAGIN, R., Y. J. HALPERN, and M. Y. VARDI, A model-theoretic analysis of knowledge. J. ACM 91 (1991), 382-428.
6. HALPERN, J. Y., and Y. O. MOSES, A guide to completeness and complexity for modal logics of knowledge and beliefs. Artificial Intelligence 54 (1992), 319-379.
7. HEIFETZ, A., Infinitary epistemic logic. In: Proc. 5th Conference on Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann, Los Altos, California, 1994, pp. 95-107.
8. HEIFETZ, A., and D. SAMET, Universal Partition Structures. IIBR working paper 26/93, Tel Aviv University, 1993.
9. HUGHES, G. E., and M. J. CRESSWELL, A Companion to Modal Logic. Methuen, London 1984.
10. KANEKO, M., and T. NAGASHIMA, Final decisions, nash equilibrium and solvability in games with the common knowledge of logical abilities. Math. Social Sciences 22 (1991), 229-255.
11. KARP, C. R., Languages with Expressions of Infinite Length. North Holland Publ. Comp., Amsterdam 1964.