Transition semantics: the dynamics of dependence logic
- 154 Downloads
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.
KeywordsDependence logic Game logic Imperfect information
The author wishes to thank Johan van Benthem and Jouko Väänänen for a number of useful suggestions and insights. Furthermore, he wishes to thank the reviewers for a number of highly useful suggestions and comments.
- Dekker, P. (2008). A guide to dynamic semantics. ILLC Prepublication Series (PP-2008-42).Google Scholar
- Galliani, P. (2011). Multivalued dependence logic and independence logic. In: Non-classical modal and predicate logics.Google Scholar
- Henkin, L. (1961). Some remarks on infinitely long formulas. In: Infinitistic Methods. Proc. Symposium on Foundations of Mathematics (pp. 167–183). Oxford: Pergamon Press.Google Scholar
- Hintikka, J. (1968). Language-games for quantifiers. In: American philosophical quarterly monograph series 2: Studies in logical theory (pp. 46–72). Oxford: Basil Blackwell.Google Scholar
- Hintikka, J., & Sandu, G. (1989). Informational independence as a semantic phenomenon. In J. Fenstad, I. Frolov, & R. Hilpinen (Eds.), Logic, methodology and philosophy of science. Amsterdam: Elsevier.Google Scholar
- Hodges, W. (1997). Compositional semantics for a language of imperfect information. Journal of the Interest Group in Pure and Applied Logics, 5(4), 539–563.Google Scholar
- Kontinen, J., & Nurmi, V. (2009). Team logic and second-order logic. In: H. Ono, M. Kanazawa, & R. de Queiroz (Eds.), Logic, language, information and computation, Vol. 5514 of Lecture Notes in Computer Science (pp. 230–241). Berlin: Springer.Google Scholar
- Parikh, R. (1985). The logic of games and its applications. In: Selected Papers of the International Conference on ”Foundations of Computation Theory” on Topics in the Theory of Computation (pp. 111–139). New York, NY, USA.Google Scholar
- Väänänen, J. (2007b). Team logic. In J. van Benthem, D. Gabbay, & B. Löwe (Eds.), Interactive logic. Selected papers from the 7th Augustus de Morgan workshop (pp. 281–302). Amsterdam: Amsterdam University Press.Google Scholar