Game Logic and its Applications II

Mamoru Kaneko, Takashi Nagashima

Research output: Contribution to journalArticlepeer-review

27 Citations (Scopus)

Abstract

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
Volume58
Issue number2
Publication statusPublished - 1997
Externally publishedYes

Keywords

  • 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