First order common knowledge logics

Studia Logica

Volumn 65, Issue 2, 2000, Pages 249-271

  Wolter, Frank ^a  

^a UNIVERSITY OF LEIPZIG   (Germany)

Author keywords

Axiomatizability; Common knowledge; Epistemic logic; Game theory

Indexed keywords

EID: 0001411995     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1005271815356     Document Type: Article

References (15)

1. AUMANN, R. J., 'Agreeing to disagree', The Annals of Statistics 4, (1976), 1236-1239.
2. BACHARACH, M., 'The Epistemic structure of a theory of Game', Theory and Decision 37 (1994), 7-48.
3. FAGIN, R., J. HALPERN, Y. MOSES, M. VARDI, Reasoning about Knowledge, MIT Press, 1995.
4. HAREL, D., 'Effective transformations on infinite trees with applications to high undecidability, dominoes, and fairness', Journal of the ACM 33 (1986), 224-248.
5. HINTIKKA, J., Knowledge and Belief: An Introduction to the Logic of Two Notions, Cornell University Press, 1962.
6. KANEKO, M., T. NAGASHIMA, 'Game Logic and its applications 1', Studia Logica 57 (1996), 325-354.
7. KANEKO, M., T. NAGASHIMA, 'Game Logic and its applications 2', Studia Logica 58 (1997), 273-303.
8. MEYER, J. J., W. VAN DER HOEK, Epistemic Logic for AI and Computer Science, Cambrigde University Press, 1995.
9. NASH, J., 'Noncooperative games', Annals of Mathematics 54 (1991), 286-295.
10. , SPAAN, E. 'Complexity of Modal Logics', Ph.D. thesis, University of Amsterdam, 1993.
11. TANAKA, Y., 'Representation of modal algebras and completeness of infinitary predicate multi-modal logic', Ph.D. thesis, Japan Advanced Institute of Science and Technology, 1999.
12. TANAKA, Y., H. ONO, 'Rasiowa-Sikorski Lemma and Kripke completeness of Predicate and Infinitary modal logics', in: Advances in Modal Logic. Volume 2, K. Segerberg, M. de Rijke, H. Wansing and M. Zakharyaschev (eds.), CSLI, Stanford, 1999.
13. TARSKI, A., 'A decision method for elementary algebra and geometry', Berkeley, 1948.
14. WOLTER, F., M. ZAKHARYASCHEV, 'Decidable fragments of first-order modal logics' (Submitted).
15. VON NEUMANN, J., 'A model of general economic equilibrium', Review of Economic Studies 13 (1945), 1-9.