| Dependence logic: A new approach to independence friendly logic J Väänänen Cambridge University Press, 2007 | 530 | 2007 |
| Dependence and independence E Grädel, J Väänänen Studia Logica 101 (2), 399-410, 2013 | 205 | 2013 |
| Generalized quantifiers and pebble games on finite structures PG Kolaitis, JA Väänänen Annals of pure and applied logic 74 (1), 23-75, 1995 | 176 | 1995 |
| Second-order logic and foundations of mathematics J Väänänen Bulletin of Symbolic Logic 7 (4), 504-520, 2001 | 174 | 2001 |
| Logic and games W Hodges, J Väänänen | 161 | 2001 |
| From IF to BI: a tale of dependence and separation S Abramsky, J Väänänen Synthese 167, 207-230, 2009 | 119 | 2009 |
| Modal dependence logic J Väänänen New perspectives on games and interaction 4, 237-254, 2008 | 116 | 2008 |
| On definability in dependence logic J Kontinen, J Väänänen Journal of Logic, Language and Information 18, 317-332, 2009 | 103 | 2009 |
| Models and games J Väänänen Cambridge University Press, 2011 | 99 | 2011 |
| Propositional logics of dependence F Yang, J Väänänen Annals of Pure and Applied Logic 167 (7), 557-589, 2016 | 91 | 2016 |
| The strength of Martin-Löf's intuitionistic type theory with one universe P Aczel Journal of Symbolic Logic 49 (1), 1984 | 86 | 1984 |
| Realizability for constructive Zermelo-Fraenkel set theory M Rathjen, J Väänänen, V Stoltenberg-Hansen Logic Colloquium 3, 282-314, 2003 | 71 | 2003 |
| Trees and-subsets of ω1ω1 A Mekler, J Väänänen The Journal of Symbolic Logic 58 (3), 1052-1070, 1993 | 66 | 1993 |
| Propositional team logics F Yang, J Väänänen Annals of Pure and Applied Logic 168 (7), 1406-1441, 2017 | 63 | 2017 |
| Second order logic or set theory? J Väänänen Bulletin of Symbolic Logic 18 (1), 91-121, 2012 | 57 | 2012 |
| The Härtig quantifier: A survey H Herre, M Krynicki, A Pinus, J Väänänen The Journal of symbolic logic 56 (4), 1153-1183, 1991 | 56 | 1991 |
| Reflection principles for the continuum J Stavi, J Vaananen Contemporary Mathematics 302, 59-84, 2002 | 52 | 2002 |
| Internal categoricity in arithmetic and set theory J Väänänen, T Wang | 50 | 2015 |
| On Scott and Karp trees of uncountable models T Hyttinen, J Väänänen The Journal of symbolic logic 55 (3), 897-908, 1990 | 49 | 1990 |
| Partially ordered connectives G Sandu, J Väänänen Mathematical Logic Quarterly 38 (1), 361-372, 1992 | 47 | 1992 |
Juha KontinenProfessor, University of Helsinki, FinlandDirección de correo verificada de helsinki.fi
