Synthese

, Volume 191, Issue 6, pp 1249–1276

Transition semantics: the dynamics of dependence logic

Article

DOI: 10.1007/s11229-013-0327-8

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

Abstract

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.

Keywords

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