Common knowledge logic and game logic

Journal of Symbolic Logic

Volumn 64, Issue 2, 1999, Pages 685-700

  Kaneko, Mamoru ^a  

^a UNIVERSITY OF TSUKUBA   (Japan)

Author keywords

Common Knowledge Logic; Fixed Point and Iterative Definitions of Common Knowledge; Game Logic; Nash Equilibrium

Indexed keywords

EID: 0033464198     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2586493     Document Type: Article

References (15)

1. J. BARWISE, Three views of common knowledge, Proceedings of the second conference on theoretical aspects of reasoning about knowledge (Los Altos) (M.Y. Verdi, editor), Morgan Kaufmann Publisher Inc., 1988, pp. 365-379.
2. J. H. HALPERN and Y. MOSES, A guide to completeness and complexity for modal logics of knowledge and beliefs, Artificial Intelligence, vol. 54 (1992), pp. 319-379.
3. M. KANEKO, Decision making in partially interactive games I, IPPS, University of Tsukuba, vol. 742 (1997), II, forthcoming.
4. _, Depth of knowledge and the Barcan inferences in game logic, forthcoming, 1997.
5. _, Epistemic considerations of decision making in games, to appear in Mathematical Social Sciences, 1997.
6. _, Mere and specific knowledge of the existence of a Nash equilibrium, IPPS, University of Tsukuba, vol. 741 (1997).
7. M. KANEKO and T. NAGASHIMA, Game logic and its applications I, Studia Logica, vol. 57 (1996), pp. 325-354.
8. _, Axiomatic indefinability of common knowledge in finitary logics, Epistemic logic and the theory of games and decision (M. Bacharach et al., editors), Kluwer Academic Press, 1997, pp. 69-93.
9. _, Game logic and its applications II, Studia Logica, vol. 58 (1997), pp. 273-303.
10. C. KARP, Languages with expressions of infinite length, North-Holland, 1964.
11. L. LISMONT and P. MONGIN, On the logic of common belief and common knowledge, Theory and Decision, vol. 37 (1994), pp. 75-106.
12. _, Belief closure: A semantics of common knowledge for modal propositional logic, Mathematical Social Sciences, vol. 30 (1995), pp. 127-153.
13. J. F. NASH, Noncooperative games, Annals of Mathematics, vol. 54 (1951), pp. 286-295.
14. M. OHNISHI and M. MATSUMOTO, Gentzen method in modal calculi, Osaka Journal of Mathematics, vol. 9 (1957), pp. 112-130.
15. M. TAKANO, Subformula property as a substitute for cut-elimination in modal propositional logics, Mathematica Japonica, vol. 37 (1992), pp. 1129-1145.