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 › peer-review

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

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

@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 -