, Volume 191, Issue 6, pp 1249–1276

Transition semantics: the dynamics of dependence logic


DOI: 10.1007/s11229-013-0327-8

Cite this article as:
Galliani, P. Synthese (2014) 191: 1249. doi:10.1007/s11229-013-0327-8


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.


Dependence logic Game logic Imperfect information 

Copyright information

© Springer Science+Business Media Dordrecht 2013

Authors and Affiliations

  1. 1.Department of Mathematics and StatisticsUniversity of HelsinkiHelsinkiFinland

Personalised recommendations