Game Logic and its Applications II

Studia Logica

Volumn 58, Issue 2, 1997, Pages 273-303

  Kaneko, Mamoru ^a   Nagashima, Takashi ^a  

^a UNIVERSITY OF TSUKUBA   (Japan)

Author keywords

Common knowledge; Infinitary predicate KD4; Nash equilibrium; Undecidability on playability

Indexed keywords

EID: 0013035644     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1004975724824     Document Type: Article

References (8)

1. GENTZEN, G., 1935, 'Untersuchungen über das logische Schliessen', Mathematische Zeitschrift 39, 176-210, 405-431.
2. English translation, 'Investigations into Logical Deduction', The Collected Papers of Gerhard Gentzen, 1969.
3. HARROP, R., 1956, 'On Disjunctions and Existential Statements in Intuitionistic Systems of Logic', Math. Annalen 132, 247-361.
4. HARROP, R., 1960, 'Concerning Formulas of the Types A → B V C, A → (Ex)B(x) in Intuitionistic Formal System', J. Symbolic Logic 25, 247-361.
5. KANEKO, M. and T. NAGASHIMA, 1996, 'Game Logic and its Applications I', To appear in Studio, Logica 57.
6. OHNISHI, M., AND K. MATSUMOTO, 1957, 'Gentzen Method in Modal Calculi. I', Osaka Math. J. 9, 113-130.
7. OHNISHI, M., AND K. MATSUMOTO, 1959, 'Gentzen Method in Modal Calculi. II', Osaka Math. J. 11, 115-120.
8. VAN DALEN, D., 1986, 'INTUITIONISTIC LOGIC', Handbook of Philosophical Logic (III), eds. D. Gabbay and F. Guenthner, Reidel, 225-339.