Game Logic and its Applications II

Mamoru Kaneko, Takashi Nagashima

Research output: Contribution to journalArticle

27 Citations (Scopus)


This paper provides a Genzten style formulation of the game logic framework GLm (0 ≤ m ≤ ω), and proves the cut-elimination theorem for GLm. As its application, we prove the term existence theorem for GLω used in Part I.

Original languageEnglish
Pages (from-to)273-303
Number of pages31
JournalStudia Logica
Issue number2
Publication statusPublished - 1997
Externally publishedYes


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

ASJC Scopus subject areas

  • Logic

Fingerprint Dive into the research topics of 'Game Logic and its Applications II'. Together they form a unique fingerprint.

  • Cite this

    Kaneko, M., & Nagashima, T. (1997). Game Logic and its Applications II. Studia Logica, 58(2), 273-303.