Game Logic and its Applications II

Mamoru Kaneko; Takashi Nagashima

Game Logic and its Applications II

Mamoru Kaneko^*, Takashi Nagashima

^*この研究の対応する著者

研究成果: Article › 査読

27 被引用数 (Scopus)

抄録

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.

本文言語	English
ページ（範囲）	273-303
ページ数	31
ジャーナル	Studia Logica
巻	58
号	2
出版ステータス	Published - 1997
外部発表	はい

ASJC Scopus subject areas

論理

他のファイルとリンク

引用スタイル

@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

SN - 0039-3215

VL - 58

SP - 273

EP - 303

JO - Studia Logica

JF - Studia Logica

IS - 2

ER -

Game Logic and its Applications II

抄録

ASJC Scopus subject areas

他のファイルとリンク

フィンガープリント

引用スタイル