A New Game Equivalence, its Logic and Algebra

, &
Journal of Philosophical Logic 48 (4):649-684 (2019)
  Copy   BIBTEX

Abstract

We present a new notion of game equivalence that captures basic powers of interacting players. We provide a representation theorem, a complete logic, and a new game algebra for basic powers. In doing so, we establish connections with imperfect information games and epistemic logic. We also identify some new open problems concerning logic and games.

Categories

Keywords

Reprint years

DOI

10.1007/s10992-018-9489-7

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

Logic games are complete for game logics.Johan van Benthem - 2003 - Studia Logica 75 (2):183-203.
Logic games: Not just tools, but models of interaction.Johan van Benthem - unknown
The Basic Algebra of Game Equivalences.Valentin Goranko - 2003 - Studia Logica 75 (2):221-238.
Games in Dynamic-Epistemic Logic.Johan van Benthem - unknown
Representation of game algebras.Yde Venema - 2003 - Studia Logica 75 (2):239 - 256.
Representation of Game Algebras.Yde Venema - 2003 - Studia Logica 75 (2):239-256.
Game Logic - An Overview.Marc Pauly & Rohit Parikh - 2003 - Studia Logica 75 (2):165-182.
Step by step – Building representations in algebraic logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (1):225-279.
Transition semantics: the dynamics of dependence logic.P. Galliani - 2014 - Synthese 191 (6):1249-1276.
Thompson Transformations for If-Logic.Francien Dechesne - 2006 - Synthese 149 (2):285-309.
Determined game logic is complete.Jan van Eijck - unknown
Modelling simultaneous games in dynamic logic.Johan van Benthem, Sujata Ghosh & Fenrong Liu - 2008 - Synthese 165 (2):247-268.
A game on Boolean algebras describing the collapse of the continuum.Miloš S. Kurilić & Boris Šobot - 2009 - Annals of Pure and Applied Logic 160 (1):117-126.
More on the cut and choose game.Jindřich Zapletal - 1995 - Annals of Pure and Applied Logic 76 (3):291-301.
Logical-Epistemic Foundations of General Game Descriptions.Ji Ruan & Michael Thielscher - 2014 - Studia Logica 102 (2):321-338.

Analytics

Added to PP
2018-11-09

Downloads
38 (#398,871)

6 months
14 (#154,299)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Johan Van Benthem
University of Amsterdam
Nick Bezhanishvili
University of Amsterdam

Citations of this work

Add more citations

References found in this work

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
Many-dimensional modal logics: theory and applications.Dov M. Gabbay (ed.) - 2003 - Boston: Elsevier North Holland.

View all 11 references / Add more references