A New Game Equivalence and its Modal Logic

07/27/2017
by   Johan van Benthem, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

12/17/2019

Formula size games for modal logic and μ-calculus

We propose a new version of formula size game for modal logic. The game ...
08/21/2020

Logic-Induced Bisimulations

We define a new logic-induced notion of bisimulation (called ρ-bisimulat...
01/26/2019

Credulous Acceptability, Poison Games and Modal Logic

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

Logical Foundations of Quantitative Equality (long version)

Quantitative reasoning provides a flexible approach capable to deal with...
06/10/2021

Some modal and temporal translations of generalized basic logic

We introduce a family of modal expansions of Łukasiewicz logic that are ...
11/13/2018

Losing Connection: Modal Logic of Definable Link Deletion

We consider a natural variant of Sabotage Game. Different to the action ...
04/16/2018

Uniform Substitution for Differential Game Logic

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