Game Logic and its Applications II

Mamoru Kaneko; Takashi Nagashima

Game Logic and its Applications II

Mamoru Kaneko, Takashi Nagashima

Research output: Contribution to journal › Article

Abstract

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

Original language	English
Pages (from-to)	273-303
Number of pages	31
Journal	Studia Logica
Volume	58
Issue number	2
Publication status	Published - 1997
Externally published	Yes

Fingerprint

Keywords

Common knowledge
Infinitary predicate KD4
Nash equilibrium
Undecidability on playability

ASJC Scopus subject areas

Logic

Cite this

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

@article{416eec65f6c64d51876fcf377c163e5b,

title = "Game Logic and its Applications II",

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.",

keywords = "Common knowledge, Infinitary predicate KD4, Nash equilibrium, Undecidability on playability",

author = "Mamoru Kaneko and Takashi Nagashima",

year = "1997",

language = "English",

volume = "58",

pages = "273--303",

journal = "Studia Logica",

issn = "0039-3215",

publisher = "Springer Netherlands",

number = "2",

}

TY - JOUR

T1 - Game Logic and its Applications II

AU - Kaneko, Mamoru

AU - Nagashima, Takashi

PY - 1997

Y1 - 1997

N2 - 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.

AB - 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.

KW - Common knowledge

KW - Infinitary predicate KD4

KW - Nash equilibrium

KW - Undecidability on playability

UR - http://www.scopus.com/inward/record.url?scp=0013035644&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0013035644&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:0013035644

VL - 58

SP - 273

EP - 303

JO - Studia Logica

JF - Studia Logica

SN - 0039-3215

IS - 2

ER -

Game Logic and its Applications II

Abstract

Fingerprint

Keywords

ASJC Scopus subject areas

Cite this

Access to Document