Game Logic - An Overview

&
Studia Logica 75 (2):165-182 (2003)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1027354826364

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,131

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Dialogue Games for Many-Valued Logics — an Overview.C. G. Fermüller - 2008 - Studia Logica 90 (1):43-68.
Logic games are complete for game logics.Johan van Benthem - 2003 - Studia Logica 75 (2):183-203.
Game logic is strong enough for parity games.Dietmar Berwanger - 2003 - Studia Logica 75 (2):205 - 219.
Determined game logic is complete.Jan van Eijck - unknown
Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules.Sharon Shoham & Nissim Francez - 2008 - Studia Logica 90 (2):161-188.
The Dynamification of Modal Dependence Logic.Pietro Galliani - 2013 - Journal of Logic, Language and Information 22 (3):269-295.
Game logic and its applications II.Mamoru Kaneko & Takashi Nagashima - 1997 - Studia Logica 58 (2):273-303.
Representation of game algebras.Yde Venema - 2003 - Studia Logica 75 (2):239 - 256.
An Impossibility Theorem on Beliefs in Games.Adam Brandenburger & H. Jerome Keisler - 2006 - Studia Logica 84 (2):211-240.

Analytics

Added to PP
2009-01-28

Downloads
152 (#157,301)

6 months
10 (#386,681)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Rohit Parikh
CUNY Graduate Center
Marc Pauly
University of Groningen

Citations of this work

Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.

View all 17 citations / Add more citations

References found in this work

Logic games are complete for game logics.Johan van Benthem - 2003 - Studia Logica 75 (2):183-203.
The Basic Algebra of Game Equivalences.Valentin Goranko - 2003 - Studia Logica 75 (2):221-238.

Add more references