PP-2017-25: A New Game Equivalence and Its Modal Logic

PP-2017-25: van Benthem, Johan and Bezhanishvili, Nick and Enqvist, Sebastian (2017) A New Game Equivalence and Its Modal Logic. [Pre-print]

Warning
There is a more recent version of this item available.
[thumbnail of 2018.LogicBasicPowers.pdf]
Preview
Text
2018.LogicBasicPowers.pdf

Download (457kB) | Preview

Abstract

We revisit the crucial issue of natural game equivalences, and semantics of game logics based on these. We present reasons for investigating finer concepts of game equivalence than equality of standard powers, though staying short of modal bisimulation. Concretely, we propose a more fine-grained notion of equality of ‘basic powers’ which record what players can force plus what they leave to others to do, a crucial feature of interaction. This notion is closer to game-theoretic strategic form, as we explain in detail, while remaining amenable to logical analysis. We determine the properties of basic powers via a new representation theorem, find a matching ‘instantial neighborhood game logic’, and show how our analysis can be extended to a new game algebra and dynamic game logic. We also take on board imperfect information and epistemic logic in a systematic manner, and explore a few connections with other logics of games. The extended final version of this paper has appeared in the "Journal of Philosophical Logic" on-line, Autumn 2018.

Item Type: Pre-print
Report Nr: PP-2017-25
Series Name: Prepublication (PP) Series
Year: 2017
Subjects: Computation
Logic
Mathematics
Depositing User: Johan van Benthem
Date Deposited: 24 Jan 2019 14:08
Last Modified: 06 Aug 2019 20:13
URI: https://eprints.illc.uva.nl/id/eprint/1661

Available Versions of this Item

Actions (login required)

View Item View Item