Jouko Väänänen
Jouko Väänänen
Professor of Mathematics, University of Helsinki and Professor of Logic, University of Amsterdam
Dirección de correo verificada de helsinki.fi - Página principal
Título
Citado por
Citado por
Año
Dependence logic: A new approach to independence friendly logic
J Väänänen
Cambridge University Press, 2007
4082007
Dependence and independence
E Grädel, J Väänänen
Studia Logica 101 (2), 399-410, 2013
1692013
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
1661995
Second-order logic and foundations of mathematics
J Vaananen
Bulletin of Symbolic Logic, 504-520, 2001
1502001
Logic and games
W Hodges, J Väänänen
1312001
Modal dependence logic
J Väänänen
New perspectives on games and interaction 4, 237-254, 2008
1022008
From if to bi
S Abramsky, J Väänänen
Synthese 167 (2), 207-230, 2009
1012009
On definability in dependence logic
J Kontinen, J Väänänen
Journal of Logic, Language and Information 18 (3), 317-332, 2009
832009
Models and games
J Väänänen
Cambridge University Press, 2011
672011
Trees and Π 1 1 -Subsets of ω1 ω 1
A Mekler, J Väänänen
Journal of Symbolic Logic, 1052-1070, 1993
581993
Propositional logics of dependence
F Yang, J Väänänen
Annals of Pure and Applied Logic 167 (7), 557-589, 2016
542016
Realizability for constructive Zermelo-Fraenkel set theory
M Rathjen, J Väänänen, V Stoltenberg-Hansen
Logic Colloquium 3, 282-314, 2003
522003
Reflection principles for the continuum
J Stavi, J Vaananen
Contemporary Mathematics 302, 59-84, 2002
502002
Partially ordered connectives
G Sandu, J Väänänen
Mathematical Logic Quarterly 38 (1), 361-372, 1992
471992
On Scott and Karp trees of uncountable models
T Hyttinen, J Väänänen
Journal of Symbolic Logic, 897-908, 1990
461990
On the semantics of informational independence
J Väänänen
Logic Journal of IGPL 10 (3), 339-352, 2002
432002
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
431993
Second order logic or set theory?
J Väänänen
Bulletin of Symbolic Logic 18 (1), 91-121, 2012
422012
Unary quantifiers on finite models
J Väänänen
Journal of Logic, Language and Information 6 (3), 275-304, 1997
391997
Axiomatizing first-order consequences in dependence logic
J Kontinen, J Väänänen
Annals of Pure and Applied logic 164 (11), 1101-1117, 2013
382013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20