Transition semantics
the dynamics of dependence logic
pp. 1249-1276
Résumé
We examine the relationship between dependence logic and game logics. A variant of dynamic game logic, called Transition Logic, is developed, and we show that its relationship with dependence logic is comparable to the one between first-order logic and dynamic game logic discussed by van Benthem. This suggests a new perspective on the interpretation of dependence logic formulas, in terms of assertions about reachability in games of imperfect information against Nature. We then capitalize on this intuition by developing expressively equivalent variants of dependence logic in which this interpretation is taken to the foreground.
Détails de la publication
Publié dans:
(2014) Synthese 191 (6).
Pages: 1249-1276
DOI: 10.1007/s11229-013-0327-8
Citation complète:
Galliani Pietro, 2014, Transition semantics: the dynamics of dependence logic. Synthese 191 (6), 1249-1276. https://doi.org/10.1007/s11229-013-0327-8.