Author： Kaneko M. Nagashima T.
Publisher： Springer Publishing Company
ISSN： 0039-3215
Source： Studia Logica, Vol.58, Iss.2, 1997-03, pp. : 273-303
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
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.
Related content
Game Logic and its Applications I
Studia Logica, Vol. 57, Iss. 2-3, 1996-10 ,pp. :
Access to resources
Recommend
Studia Logica, Vol. 75, Iss. 2, 2003-11 ,pp. :
Logic Games are Complete for Game Logics
Studia Logica, Vol. 75, Iss. 2, 2003-11 ,pp. :