default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJouko A. Väänänen
Jouko Väänänen
Person information
- affiliation: University of Helsinki, Department of Mathematics and Statistics, Finland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2011
[b2]Jouko A. Väänänen:
Models and Games. Cambridge studies in advanced mathematics 132, Cambridge University Press 2011, ISBN 978-0-521-51812-3, pp. I-IX, 1-367- 2007
- [b1]Jouko A. Väänänen:
Dependence Logic - A New Approach to Independence Friendly Logic. London Mathematical Society student texts 70, Cambridge University Press 2007, ISBN 978-0-521-70015-3, pp. I-IX, 1-225
Journal Articles
- 2025
- [j76]Lorenzo Galeotti, Yurii Khomskii
, Jouko Väänänen:
Bounded symbiosis and upwards reflection. Arch. Math. Log. 64(3-4): 579-603 (2025) - 2024
- [j75]Arnaud Durand, Juha Kontinen, Jouko Väänänen:
Modular SAT-based techniques for reasoning tasks in team semantics. J. Comput. Syst. Sci. 146: 103575 (2024) - [j74]Lauri Hella, Kerkko Luosto, Jouko Väänänen:
Dimension in team semantics. Math. Struct. Comput. Sci. 34(5): 410-454 (2024) - 2023
- [j73]Saharon Shelah, Jouko Väänänen:
Positive logics. Arch. Math. Log. 62(1-2): 207-223 (2023) - [j72]Jouko Väänänen:
An atom's worth of anonymity. Log. J. IGPL 31(6): 1078-1083 (2023) - [j71]Jouko Väänänen, Philip D. Welch:
When cardinals determine the power set: inner models and Härtig quantifier logic. Math. Log. Q. 69(4): 460-471 (2023) - 2022
- [j70]Pietro Galliani, Jouko Väänänen:
Diversity, dependence and independence. Ann. Math. Artif. Intell. 90(2-3): 211-233 (2022) - [j69]Jouko Väänänen, Fan Yang, Philip Scott:
Introduction. Ann. Pure Appl. Log. 173(10): 103168 (2022) - [j68]Arnaud Durand, Juha Kontinen, Nicolas de Rugy-Altherre, Jouko Väänänen:
Tractability Frontier of Data Complexity in Team Semantics. ACM Trans. Comput. Log. 23(1): 3:1-3:21 (2022) - 2021
- [j67]Juliette Kennedy, Jouko Väänänen:
Logicality and Model Classes. Bull. Symb. Log. 27(4): 385-414 (2021) - [j66]Juliette Kennedy, Menachem Magidor, Jouko Väänänen:
Inner models from extended logics: Part 1. J. Math. Log. 21(2): 2150012:1-2150012:53 (2021) - 2019
- [j65]Jouko Väänänen, Ruy J. G. B. de Queiroz:
23rd Workshop on Logic, Language, Information and Computation - WoLLIC 2016. Ann. Pure Appl. Log. 170(9): 921-922 (2019) - [j64]Jukka Corander, Antti Hyttinen, Juha Kontinen, Johan Pensar, Jouko Väänänen:
A logical approach to context-specific independence. Ann. Pure Appl. Log. 170(9): 975-992 (2019) - [j63]Jouko Väänänen:
An Extension of a Theorem of Zermelo. Bull. Symb. Log. 25(2): 208-212 (2019) - 2018
- [j62]Åsa Hirvonen, Thomas Scanlon, Jouko Väänänen, Dag Westerståhl:
Preface. Ann. Pure Appl. Log. 169(12): 1243-1245 (2018) - 2017
- [j61]Tapani Hyttinen, Gianluca Paolini, Jouko Väänänen:
A logic for arguing about probabilities in measure teams. Arch. Math. Log. 56(5-6): 475-489 (2017) - [j60]Fan Yang, Jouko Väänänen:
Propositional team logics. Ann. Pure Appl. Log. 168(7): 1406-1441 (2017) - [j59]Jouko Väänänen, Ruy J. G. B. de Queiroz, Mauricio Javier Osorio Galindo, Claudia Zepeda Cortés, José R. Arrazola Ramírez:
23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016). Log. J. IGPL 25(2): 253-272 (2017) - [j58]Fredrik Engström, Juha Kontinen, Jouko Väänänen:
Dependence logic with generalized quantifiers: Axiomatizations. J. Comput. Syst. Sci. 88: 90-102 (2017) - 2016
- [j57]Fan Yang, Jouko Väänänen:
Propositional logics of dependence. Ann. Pure Appl. Log. 167(7): 557-589 (2016) - [j56]Gianluca Paolini, Jouko Väänänen:
Dependence Logic in pregeometries and ω-stable Theories. J. Symb. Log. 81(1): 32-55 (2016) - [j55]Joan Bagaria, Jouko Väänänen:
On the Symbiosis between Model-Theoretic and Set-Theoretic Properties of Large Cardinals. J. Symb. Log. 81(2): 584-604 (2016) - 2015
- [j54]Jouko Väänänen:
Obituary: Jaakko Hintikka 1929-2015. Bull. Symb. Log. 21(4): 431-436 (2015) - [j53]Saharon Shelah, Jouko A. Väänänen, Boban Velickovic:
Positional Strategies in Long Ehrenfeucht-FraïSSé Games. J. Symb. Log. 80(1): 285-300 (2015) - [j52]Jouko A. Väänänen, Tong Wang:
Internal Categoricity in Arithmetic and Set Theory. Notre Dame J. Formal Log. 56(1): 121-134 (2015) - [j51]Daisuke Ikegami, Jouko Väänänen:
Boolean-Valued Second-Order Logic. Notre Dame J. Formal Log. 56(1): 167-190 (2015) - [j50]Juliette Kennedy, Saharon Shelah, Jouko Väänänen:
Regular Ultrapowers at Regular Cardinals. Notre Dame J. Formal Log. 56(3): 417-428 (2015) - [j49]Tapani Hyttinen, Gianluca Paolini, Jouko Väänänen:
Quantum Team Logic and Bell's inequalities. Rev. Symb. Log. 8(4): 722-742 (2015) - 2014
- [j48]Jouko Väänänen:
Independence-Friendly Logic: A Game-Theoretic Approach, Allen L. Mann, Gabriel Sandu and Merlijn Sevenster, Cambridge University Press, 2011. Paperback, ISBN 9780521149341, 216 pp. Theory Pract. Log. Program. 14(1): 137-140 (2014) - 2013
- [j47]Juha Kontinen, Jouko A. Väänänen:
Axiomatizing first-order consequences in dependence logic. Ann. Pure Appl. Log. 164(11): 1101-1117 (2013) - [j46]Tapani Hyttinen, Kaisa Kangas, Jouko A. Väänänen:
On second-order characterizability. Log. J. IGPL 21(5): 767-787 (2013) - [j45]Jouko Väänänen, Tong Wang:
An Ehrenfeucht-Fraïssé game for Lω1ω. Math. Log. Q. 59(4-5): 357-370 (2013) - [j44]Juha Kontinen, Jouko A. Väänänen, Dag Westerståhl:
Editorial Introduction. Stud Logica 101(2): 233-236 (2013) - [j43]Erich Grädel, Jouko A. Väänänen:
Dependence and Independence. Stud Logica 101(2): 399-410 (2013) - 2012
- [j42]Jouko A. Väänänen:
Second order logic or set theory? Bull. Symb. Log. 18(1): 91-121 (2012) - 2011
- [j41]Mirna Dzamonja, Jouko Väänänen:
Chain Models, Trees of singular Cardinality and Dynamic EF-Games. J. Math. Log. 11(1) (2011) - [j40]Menachem Magidor, Jouko Väänänen:
On löWenheim-Skolem-Tarski numbers for Extensions of First order Logic. J. Math. Log. 11(1) (2011) - [j39]Juha Kontinen, Jouko A. Väänänen:
Erratum to: On Definability in Dependence Logic. J. Log. Lang. Inf. 20(1): 133-134 (2011) - [j38]Juha Kontinen, Jouko A. Väänänen:
A Remark on Negation in Dependence Logic. Notre Dame J. Formal Log. 52(1): 55-65 (2011) - 2010
- [j37]Jouko A. Väänänen, Wilfrid Hodges:
Dependence of variables construed as an atomic formula. Ann. Pure Appl. Log. 161(6): 817-828 (2010) - 2009
- [j36]Johan van Benthem, Balder ten Cate, Jouko A. Väänänen:
Lindström theorems for fragments of first-order logic. Log. Methods Comput. Sci. 5(3) (2009) - [j35]Juha Kontinen, Jouko A. Väänänen:
On Definability in Dependence Logic. J. Log. Lang. Inf. 18(3): 317-332 (2009) - [j34]Samson Abramsky, Jouko A. Väänänen:
From IF to BI. Synth. 167(2): 207-230 (2009) - 2008
- [j33]S. Barry Cooper, Herman Geuvers, Anand Pillay, Jouko A. Väänänen:
Preface. Ann. Pure Appl. Log. 156(1): 1-2 (2008) - [j32]Juliette Kennedy, Saharon Shelah, Jouko A. Väänänen:
Regular ultrafilters and finite square principles. J. Symb. Log. 73(3): 817-823 (2008) - [j31]Jouko A. Väänänen:
The Craig Interpolation Theorem in abstract model theory. Synth. 164(3): 401-420 (2008) - 2006
- [j30]Saharon Shelah, Jouko A. Väänänen:
Recursive logic frames. Math. Log. Q. 52(2): 151-164 (2006) - 2005
- [j29]Saharon Shelah, Jouko A. Väänänen:
A note on extensions of infinitary logic. Arch. Math. Log. 44(1): 63-69 (2005) - [j28]Rohit Parikh, Jouko A. Väänänen:
Finite information logic. Ann. Pure Appl. Log. 134(1): 83-93 (2005) - 2004
- [j27]Jouko A. Väänänen, Boban Velickovic:
Games played on partial isomorphisms. Arch. Math. Log. 43(1): 19-30 (2004) - [j26]Jouko A. Väänänen:
Barwise: Abstract model theory and generalized quantifiers. Bull. Symb. Log. 10(1): 37-53 (2004) - 2002
- [j25]Jouko A. Väänänen:
On the semantics of informational independence. Log. J. IGPL 10(3): 339-352 (2002) - [j24]Jouko A. Väänänen, Dag Westerståhl:
On the Expressive Power of Monotone Natural Language Quantifiers over Finite Models. J. Philos. Log. 31(4): 327-358 (2002) - 2001
- [j23]Jouko A. Väänänen:
Second-order logic and foundations of mathematics. Bull. Symb. Log. 7(4): 504-520 (2001) - 2000
- [j22]Saharon Shelah, Jouko A. Väänänen:
Stationary Sets and Infinitary Logic. J. Symb. Log. 65(3): 1311-1320 (2000) - 1999
- [j21]Stevo Todorcevic, Jouko A. Väänänen:
Trees and Ehrenfeucht-Fraïssé Games. Ann. Pure Appl. Log. 100(1-3): 69-97 (1999) - [j20]Jörg Flum, Matthias Schiehlen, Jouko A. Väänänen:
Quantifiers and Congruence Closure. Stud Logica 62(3): 315-340 (1999) - 1997
- [j19]Jouko A. Väänänen:
Generalized Quantifiers. Bull. EATCS 62 (1997) - [j18]Jouko A. Väänänen:
Unary Quantifiers on Finite Models. J. Log. Lang. Inf. 6(3): 275-304 (1997) - [j17]Lauri Hella, Jouko A. Väänänen, Dag Westerståhl:
Definability of Polyadic Lifts of Generalized Quantifiers. J. Log. Lang. Inf. 6(3): 305-335 (1997) - 1996
- [j16]Lauri Hella, Kerkko Luosto, Jouko A. Väänänen:
The Hierarchy Theorem for Generalized Quantifiers. J. Symb. Log. 61(3): 802-817 (1996) - 1995
- [j15]Phokion G. Kolaitis, Jouko A. Väänänen:
Generalized Quantifiers and Pebble Games on Finite Structures. Ann. Pure Appl. Log. 74(1): 23-75 (1995) - 1994
- [j14]Jouko A. Väänänen, Heikki Heikkilä:
Reflection of Long Game Formulas. Math. Log. Q. 40: 381-392 (1994) - 1993
- [j13]Juha Oikkonen, Jouko A. Väänänen:
Game-Theoretic Inductive Definability. Ann. Pure Appl. Logic 65(3): 265-306 (1993) - [j12]Alan H. Mekler, Jouko A. Väänänen:
Trees and Pi11-Subsets of omega1\omega1. J. Symb. Log. 58(3): 1052-1070 (1993) - [j11]Saharon Shelah, Heikki Tuuri, Jouko A. Väänänen:
On the Number of Automorphisms of Uncountable Models. J. Symb. Log. 58(4): 1402-1418 (1993) - 1992
- [j10]Gabriel Sandu, Jouko Väänänen:
Partially Ordered Connectives. Math. Log. Q. 38(1): 361-372 (1992) - 1991
- [j9]Heinrich Herre, Michal Krynicki, Alexander G. Pinus, Jouko A. Väänänen:
The Härtig Quantifier: A Survey. J. Symb. Log. 56(4): 1153-1183 (1991) - 1990
- [j8]Tapani Hyttinen, Jouko A. Väänänen:
On Scott and Karp Trees of Uncountable Models. J. Symb. Log. 55(3): 897-908 (1990) - 1989
- [j7]Michal Krynicki, Jouko A. Väänänen:
Henkin and Function Quantifiers. Ann. Pure Appl. Log. 43(3): 273-292 (1989) - 1984
- [j6]Michal Krynicki, Alistair H. Lachlan, Jouko Väänänen:
Vector spaces and binary quantifiers. Notre Dame J. Formal Log. 25(1): 72-78 (1984) - 1982
- [j5]Jouko A. Väänänen:
Abstract Logic and Set Theory. II. Large Cardinals. J. Symb. Log. 47(2): 335-346 (1982) - 1981
- [j4]D. A. Anapolitanos, Jouko A. Väänänen:
Decidability of Some Logics with Free Quantifier Variables. Math. Log. Q. 27(2-6): 17-22 (1981) - 1980
- [j3]Michal Krynicki, Jouko Väänänen:
On orderings of the family of all logics. Arch. Math. Log. 22(3-4): 141-158 (1980) - [j2]Jouko Väänänen:
A Quantifier for Isomorphisms. Math. Log. Q. 26(7-9): 123-130 (1980) - [j1]D. A. Anapolitanos, Jouko A. Väänänen:
On the Axiomatizability of the Notion of an Automorphism of a Finite Order. Math. Log. Q. 26(28-30): 433-437 (1980)
Conference and Workshop Papers
- 2020
- [c9]Pietro Galliani, Jouko Väänänen:
Diversity, Dependence and Independence. FoIKS 2020: 106-121 - 2016
- [c8]Jukka Corander, Antti Hyttinen, Juha Kontinen, Johan Pensar, Jouko Väänänen:
A Logical Approach to Context-Specific Independence. WoLLIC 2016: 165-182 - 2015
- [c7]Arnaud Durand, Juha Kontinen, Nicolas de Rugy-Altherre, Jouko Väänänen:
Tractability Frontier of Data Complexity in Team Semantics. GandALF 2015: 73-85 - 2013
- [c6]Jouko A. Väänänen:
Breaking the Atom with Samson. Computation, Logic, Games, and Quantum Foundations 2013: 327-335 - [c5]Fredrik Engström, Juha Kontinen, Jouko A. Väänänen:
Dependence Logic with Generalized Quantifiers: Axiomatizations. WoLLIC 2013: 138-152 - [c4]Juha Kontinen, Sebastian Link, Jouko A. Väänänen:
Independence in Database Relations. WoLLIC 2013: 179-193 - 2007
- [c3]Balder ten Cate, Johan van Benthem, Jouko A. Väänänen:
Lindstrom theorems for fragments of first-order logic. LICS 2007: 280-292 - 1997
- [c2]Jouko A. Väänänen:
Generalized Quantifiers, an Introduction. ESSLLI 1997: 1-17 - 1992
- [c1]Phokion G. Kolaitis, Jouko A. Väänänen:
Generalized Quantifiers and Pebble Games on Finite Structures. LICS 1992: 348-359
Parts in Books or Collections
- 2016
- [p6]Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer:
Introduction. Dependence Logic 2016: 1-3 - [p5]Jouko Väänänen:
Grelling on Dependence. Dependence Logic 2016: 33-52 - 2015
- [p4]Lauri Hella, Jouko Väänänen:
The Size of a Formula as a Measure of Complexity. Logic Without Borders 2015: 193-214 - [p3]Jouko Väänänen:
Pursuing Logic without Borders. Logic Without Borders 2015: 403-416 - 2014
- [p2]Pietro Galliani, Jouko Väänänen:
On Dependence Logic. Johan van Benthem on Logic and Information Dynamics 2014: 101-119 - 2012
- [p1]Jouko A. Väänänen:
Second Order Logic, Set Theory and Foundations of Mathematics. Epistemology versus Ontology 2012: 371-380
Editorship
- 2016
- [e3]Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer:
Dependence Logic, Theory and Applications. Springer 2016, ISBN 978-3-319-31801-1 [contents] - [e2]Jouko A. Väänänen, Åsa Hirvonen, Ruy J. G. B. de Queiroz:
Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Lecture Notes in Computer Science 9803, Springer 2016, ISBN 978-3-662-52920-1 [contents] - 2000
- [e1]Jouko A. Väänänen:
Generalized Quantifiers and Computation, 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997, Revised Lectures. Lecture Notes in Computer Science 1754, Springer 2000, ISBN 3-540-66993-0 [contents]
Informal and Other Publications
- 2025
- [i15]Arnaud Durand, Juha Kontinen, Werner Mérian, Jouko Väänänen:
The flattening operator in team-based logics. CoRR abs/2505.21149 (2025) - 2022
- [i14]Arnaud Durand, Juha Kontinen, Jouko Väänänen:
Modular SAT-based techniques for reasoning tasks in team semantics. CoRR abs/2204.00576 (2022) - [i13]Jouko Väänänen:
An atom's worth of anonymity. CoRR abs/2210.07834 (2022) - 2019
- [i12]Pietro Galliani, Jouko Väänänen:
Diversity, Dependence and Independence. CoRR abs/1912.03252 (2019) - 2015
- [i11]Erich Grädel, Juha Kontinen, Jouko Väänänen, Heribert Vollmer:
Logics for Dependence and Independence (Dagstuhl Seminar 15261). Dagstuhl Reports 5(6): 70-85 (2015) - 2014
- [i10]Jouko Väänänen:
The Logic of Approximate Dependence. CoRR abs/1408.4437 (2014) - [i9]Fan Yang, Jouko Väänänen:
Propositional Logics of Dependence and Independence, Part I. CoRR abs/1412.7998 (2014) - 2013
- [i8]Fredrik Engström, Juha Kontinen, Jouko A. Väänänen:
Dependence Logic with Generalized Quantifiers: Axiomatizations. CoRR abs/1304.0611 (2013) - [i7]Pietro Galliani, Jouko A. Väänänen:
On Dependence Logic. CoRR abs/1305.5948 (2013) - [i6]Samson Abramsky, Juha Kontinen, Jouko A. Väänänen, Heribert Vollmer:
Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071). Dagstuhl Reports 3(2): 45-54 (2013) - 2012
- [i5]Juha Kontinen, Jouko A. Väänänen:
Axiomatizing first order consequences in dependence logic. CoRR abs/1208.0176 (2012) - [i4]Lauri Hella, Jouko A. Väänänen:
The size of a formula as a measure of complexity. CoRR abs/1208.4803 (2012) - [i3]Erich Grädel, Jouko A. Väänänen:
Dependence and Independence. CoRR abs/1208.5268 (2012) - 2011
- [i2]Samson Abramsky, Jouko A. Väänänen:
From IF to BI: a tale of dependence and separation. CoRR abs/1102.1388 (2011) - 2008
- [i1]Jouko A. Väänänen, Ulrich Trottenberg:
Introduction to the special theme: Maths for Everyday Life. ERCIM News 2008(73) (2008)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-11-22 05:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
