Studia Logica 75 (2):165-182 (2003)
| Authors |
|
| Abstract |
Game Logic is a modal logic which extends Propositional Dynamic Logic by generalising its semantics and adding a new operator to the language. The logic can be used to reason about determined 2-player games. We present an overview of meta-theoretic results regarding this logic, also covering the algebraic version of the logic known as Game Algebra.
|
| Keywords | Philosophy Logic Mathematical Logic and Foundations Computational Linguistics |
| Categories | (categorize this paper) |
| Reprint years | 2004 |
| DOI | 10.1023/A:1027354826364 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
Modelling Simultaneous Games in Dynamic Logic.Johan van Benthem, Sujata Ghosh & Fenrong Liu - 2008 - Synthese 165 (2):247-268.
Socially Responsive, Environmentally Friendly Logic.Samson Abramsky - 2006 - Acta Philosophica Fennica 78:17.
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Springer International Publishing. pp. 289-337.
View all 18 citations / Add more citations
Similar books and articles
Game Logic is Strong Enough for Parity Games.Dietmar Berwanger - 2003 - Studia Logica 75 (2):205 - 219.
An N -Player Semantic Game for an N + 1-Valued Logic.Shier Ju & Xuefeng Wen - 2008 - Studia Logica 90 (1):17-23.
Game Logic is Strong Enough for Parity Games.Dietmar Berwanger - 2003 - Studia Logica 75 (2):205-219.
Game Logic and its Applications II.Mamoru Kaneko & Takashi Nagashima - 1997 - Studia Logica 58 (2):273-303.
Dialogue Games for Many-Valued Logics — an Overview.C. G. Fermüller - 2008 - Studia Logica 90 (1):43-68.
Vincent F. Hendricks and Pelle G. Hansen, Game Theory: 5 Questions.Jeffrey Helzner - 2008 - Studia Logica 89 (1):149-150.
Constructive Logic with Strong Negation is a Substructural Logic. II.M. Spinks & R. Veroff - 2008 - Studia Logica 89 (3):401-425.
Dov M. Gabbay, Sergei S. Goncharov and Michael Zakharyaschev (Eds.), Mathematical Problems From Applied Logic I.Anders Søgaard - 2007 - Studia Logica 87 (2-3):363-367.
The Contributions of Logic to the Foundations of Physics: Foreword. [REVIEW]Diederik Aerts, Sonja Smets & Jean P. Van Bendegem - 2010 - Studia Logica 95 (1-2):1-3.
E. Ejerhed & S. Lindström, Logic, Action and Cognition. [REVIEW]Erik J. Olsson - 2000 - Studia Logica 66 (3):419-421.
Analytics
Added to PP index
2009-01-28
Total views
110 ( #106,549 of 2,507,405 )
Recent downloads (6 months)
2 ( #277,263 of 2,507,405 )
2009-01-28
Total views
110 ( #106,549 of 2,507,405 )
Recent downloads (6 months)
2 ( #277,263 of 2,507,405 )
How can I increase my downloads?
Downloads
