Dependence logic: A new approach to independence friendly logic J Väänänen Cambridge University Press, 2007 | 433 | 2007 |

Dependence and independence E Grädel, J Väänänen Studia Logica 101 (2), 399-410, 2013 | 179 | 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 | 165 | 1995 |

Second-order logic and foundations of mathematics J Väänänen Bulletin of Symbolic Logic 7 (4), 504-520, 2001 | 160 | 2001 |

Logic and games W Hodges, J Väänänen | 140 | 2001 |

From if to bi S Abramsky, J Väänänen Synthese 167 (2), 207-230, 2009 | 106 | 2009 |

Modal dependence logic J Väänänen New perspectives on games and interaction 4, 237-254, 2008 | 103 | 2008 |

On definability in dependence logic J Kontinen, J Väänänen Journal of Logic, Language and Information 18 (3), 317-332, 2009 | 89 | 2009 |

The strength of Martin-Löf's intuitionistic type theory with one universe P Aczel, S Miettinen, J Vaananen Journal of Symbolic Logic 49 (1), 1984 | 83 | 1984 |

Models and games J Väänänen Cambridge University Press, 2011 | 77 | 2011 |

Trees and-subsets of ω1ω1 A Mekler, J Väänänen The Journal of Symbolic Logic 58 (3), 1052-1070, 1993 | 61 | 1993 |

Propositional logics of dependence F Yang, J Väänänen Annals of Pure and Applied Logic 167 (7), 557-589, 2016 | 57 | 2016 |

Realizability for constructive Zermelo-Fraenkel set theory M Rathjen, J Väänänen, V Stoltenberg-Hansen Logic Colloquium 3, 282-314, 2003 | 53 | 2003 |

Reflection principles for the continuum J Stavi, J Vaananen Contemporary Mathematics 302, 59-84, 2002 | 51 | 2002 |

Partially ordered connectives G Sandu, J Väänänen Mathematical Logic Quarterly 38 (1), 361-372, 1992 | 47 | 1992 |

Second order logic or set theory? J Väänänen Bulletin of Symbolic Logic 18 (1), 91-121, 2012 | 46 | 2012 |

On Scott and Karp trees of uncountable models T Hyttinen, J Väänänen The Journal of symbolic logic 55 (3), 897-908, 1990 | 46 | 1990 |

On the semantics of informational independence J Väänänen Logic Journal of IGPL 10 (3), 339-352, 2002 | 45 | 2002 |

The Ehrenfeucht-Fraïssé-Game of Length ω_{1} A Mekler, S Shelah, J Väänänen Transactions of the American mathematical Society, 567-580, 1993 | 43 | 1993 |

Axiomatizing first-order consequences in dependence logic J Kontinen, J Väänänen Annals of Pure and Applied logic 164 (11), 1101-1117, 2013 | 40 | 2013 |