| Dependence logic: A new approach to independence friendly logic J Väänänen Cambridge University Press, 2007 | 549 | 2007 |
| Dependence and independence E Grädel, J Väänänen Studia Logica 101 (2), 399-410, 2013 | 214 | 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 | 177 | 1995 |
| Second-order logic and foundations of mathematics J Väänänen Bulletin of Symbolic Logic 7 (4), 504-520, 2001 | 173 | 2001 |
| Logic and games W Hodges, J Väänänen | 162 | 2001 |
| From IF to BI: a tale of dependence and separation S Abramsky, J Väänänen Synthese 167, 207-230, 2009 | 122 | 2009 |
| Modal dependence logic J Väänänen New perspectives on games and interaction 4, 237-254, 2008 | 118 | 2008 |
| On definability in dependence logic J Kontinen, J Väänänen Journal of Logic, Language and Information 18, 317-332, 2009 | 105 | 2009 |
| Models and games J Väänänen Cambridge University Press, 2011 | 102 | 2011 |
| Propositional logics of dependence F Yang, J Väänänen Annals of Pure and Applied Logic 167 (7), 557-589, 2016 | 98 | 2016 |
| The strength of Martin-Löf's intuitionistic type theory with one universe P Aczel Journal of Symbolic Logic 49 (1), 1984 | 88 | 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 | 68 | 1993 |
| Propositional team logics F Yang, J Väänänen Annals of Pure and Applied Logic 168 (7), 1406-1441, 2017 | 65 | 2017 |
| Second order logic or set theory? J Väänänen Bulletin of Symbolic Logic 18 (1), 91-121, 2012 | 58 | 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 | 57 | 1991 |
| Reflection principles for the continuum J Stavi, J Vaananen Contemporary Mathematics 302, 59-84, 2002 | 52 | 2002 |
| Second-order and Higher-order Logic J Väänänen | 51 | 2019 |
| Internal categoricity in arithmetic and set theory J Väänänen, T Wang | 51 | 2015 |
| Axiomatizing first-order consequences in dependence logic J Kontinen, J Väänänen Annals of Pure and Applied logic 164 (11), 1101-1117, 2013 | 51 | 2013 |
Juha KontinenProfessor, University of Helsinki, Finland在 helsinki.fi 的电子邮件经过验证
