A New Game Equivalence and its Modal Logic

by   Johan van Benthem, et al.

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 finegrained 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.


page 1

page 2

page 3

page 4


Formula size games for modal logic and μ-calculus

We propose a new version of formula size game for modal logic. The game ...

Logic-Induced Bisimulations

We define a new logic-induced notion of bisimulation (called ρ-bisimulat...

Credulous Acceptability, Poison Games and Modal Logic

The Poison Game is a two-player game played on a graph in which one play...

Logical Foundations of Quantitative Equality (long version)

Quantitative reasoning provides a flexible approach capable to deal with...

Some modal and temporal translations of generalized basic logic

We introduce a family of modal expansions of Łukasiewicz logic that are ...

Losing Connection: Modal Logic of Definable Link Deletion

We consider a natural variant of Sabotage Game. Different to the action ...

Uniform Substitution for Differential Game Logic

This paper presents a uniform substitution calculus for differential gam...