We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Transition semantics: the dynamics of dependence logic.
- Authors
Galliani, P.
- 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.
- Subjects
SEMANTICS; LOGIC; MODERN logic; TRANSITION (Rhetoric); ATOMS
- Publication
Synthese, 2014, Vol 191, Issue 6, p1249
- ISSN
0039-7857
- Publication type
Article
- DOI
10.1007/s11229-013-0327-8