Dependence logic
- Second order logic and foundations of mathematics,
Bulletin of Symbolic Logic, Volume 7, Issue 4, December, 2001.
- On the semantics of informational
independence, Logic Journal of the
Interest Group in Pure and Applied Logics, 10:3, 337-350, 2002.
-
R. Parikh and J. Väänänen, Finite information logic, Annals of Pure and Applied Logic vol. 134, 2005, 83-93
- A remark on nondeterminacy in IF logic. Acta Philosophica
Fennica 78 (2006) 71-77.
- Dependence Logic:
A New Approach to Independence Friendly Logic,
London Mathematical Society Student Texts (No. 70)
Cambridge University Press, 2007, pp. 240. Review in MathSciNet.
-
Team logic, in: Interactive Logic, Johan van Benthem, Benedikt Löwe, Dov
Gabbay (eds.), Texts in Logic and Games, vol 1. Amsterdam University
Press, 2007, 281-302
-
Modal dependence logic, in: New Perspectives on Games and Interaction,
Krzysztof Apt, Robert van Rooij (eds.) Texts in Logic and Games, vol 5
Amsterdam University Press, 2008, 237-254.
- From IF to BI - A Tale of Dependence and Separation, with S. Abramsky. Synthese, Volume 167, Number 2. March, 2009.
-
Dependence of Variables Construed as an Atomic Formula, with W. Hodges.
Annals of Pure and Applied Logic 161 (2010) 817-828.
-
On definability in dependence logic, with J. Kontinen. Journal of Logic, Languages and Information 18(3) (2009), 317 - 332.
-
A note on negation in dependence logic, with J. Kontinen. Notre Dame Journal of Formal Logic 52(1), 55-65, 2011.
- Dependence and independence, with Erich Grädel. Studia Logica, to appear.
- Models and Games,
Cambridge Studies in Advanced Mathematics (No. 132)
Cambridge University Press, 2011, pp. 380.
Back to the homepage of Jouko Väänänen.