4,714 research outputs found
The Doxastic Interpretation of Team Semantics
We advance a doxastic interpretation for many of the logical connectives
considered in Dependence Logic and in its extensions, and we argue that Team
Semantics is a natural framework for reasoning about beliefs and belief
updates
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications
We introduce MCMAS-SLK, a BDD-based model checker for the verification of
systems against specifications expressed in a novel, epistemic variant of
strategy logic. We give syntax and semantics of the specification language and
introduce a labelling algorithm for epistemic and strategy logic modalities. We
provide details of the checker which can also be used for synthesising agents'
strategies so that a specification is satisfied by the system. We evaluate the
efficiency of the implementation by discussing the results obtained for the
dining cryptographers protocol and a variant of the cake-cutting problem
A New Game Equivalence and its Modal Logic
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.Comment: In Proceedings TARK 2017, arXiv:1707.0825
- …