PP-2017-25: van Benthem, Johan and Bezhanishvili, Nick and Enqvist, Sebastian (2017) A New Game Equivalence and Its Modal Logic. [Pre-print]
Preview |
Text
BasicPowersCorrected.pdf Download (381kB) | 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. In a subsequent journal version, under preparation, we also take on board imperfect information and epistemic logic in a more systematic way.
| 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: | 23 Dec 2017 13:01 |
| Last Modified: | 04 Feb 2021 23:45 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1591 |
Available Versions of this Item
- A New Game Equivalence and Its Modal Logic. (deposited 23 Dec 2017 13:01) [Currently Displayed]
Actions (login required)
 |
View Item |
