Linguistique de l’écrit

Revue internationale en libre accès

Revue | Volume | Article

235373

Transition semantics

the dynamics of dependence logic

Pietro Galliani

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.