Non-determined game logic is the logic of two player board games where the game may end in a draw: unlike the case with determined games, a loss of one player does not necessarily constitute of a win of the other player. A calculus for non-determined game logic is given in  and shown to be complete. The calculus adds a new rule for the treatment of greatest fixpoints, and a new unfolding axiom for iterations of the universal player. The technique of the completeness proof is inspired by the canonical model construction for propositional dynamic logic (PDL). In this paper, this is extended to the logic of determined games. It is proved that the calculus for nondetermined game logic, together with the axiom of determinacy, is complete for determined game logic. Next, it is shown that the axioms and rules of the new calculus can all be derived from the calculus proposed by Parikh in , for which the completeness was still open. This proves Parikh’s conjecture that his calculus is complete for determined games.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
An N -Player Semantic Game for an N + 1-Valued Logic.Shier Ju & Xuefeng Wen - 2008 - Studia Logica 90 (1):17 - 23.
Modelling Simultaneous Games in Dynamic Logic.Johan Van Benthem, Sujata Ghosh & Fenrong Liu - 2008 - Synthese 165 (2):247 - 268.
Modelling Simultaneous Games in Dynamic Logic.Johan van Benthem, Sujata Ghosh & Fenrong Liu - 2008 - Synthese 165 (2):247-268.
Game Logic is Strong Enough for Parity Games.Dietmar Berwanger - 2003 - Studia Logica 75 (2):205 - 219.
Completeness of Quantum Logic.E. -W. Stachow - 1976 - Journal of Philosophical Logic 5 (2):237 - 280.
Added to index2009-01-28
Total downloads22 ( #223,196 of 2,154,063 )
Recent downloads (6 months)1 ( #398,005 of 2,154,063 )
How can I increase my downloads?