Game Logic and its Applications II

Mamoru Kaneko*, Takashi Nagashima

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

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


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

Cite this