On orderings of the family of all logics. - Michal Krynicki; Jouko Väänänen (Arch. Math. Log., 1980)

On the Axiomatizability of the Notion of an Automorphism of a Finite Order. - D. A. Anapolitanos; Jouko A. Väänänen (Math. Log. Q., 1980)

A Quantifier for Isomorphisms. - Jouko Väänänen (Math. Log. Q., 1980)

Decidability of Some Logics with Free Quantifier Variables. - D. A. Anapolitanos; Jouko A. Väänänen (Math. Log. Q., 1981)

Abstract Logic and Set Theory. II. Large Cardinals. - Jouko A. Väänänen (J. Symb. Log., 1982)

Vector spaces and binary quantifiers. - Michal Krynicki; Alistair H. Lachlan; Jouko Väänänen (Notre Dame J. Formal Log., 1984)

Henkin and Function Quantifiers. - Michal Krynicki; Jouko A. Väänänen (Ann. Pure Appl. Log., 1989)

On Scott and Karp Trees of Uncountable Models. - Tapani Hyttinen; Jouko A. Väänänen (J. Symb. Log., 1990)

The Härtig Quantifier: A Survey. - Heinrich Herre; Michal Krynicki; Alexander G. Pinus; Jouko A. Väänänen (J. Symb. Log., 1991)

Partially Ordered Connectives. - Gabriel Sandu; Jouko Väänänen (Math. Log. Q., 1992)

Game-Theoretic Inductive Definability. - Juha Oikkonen; Jouko A. Väänänen (Ann. Pure Appl. Logic, 1993)

Trees and Pi11-Subsets of omega1 omega1. - Alan H. Mekler; Jouko A. Väänänen (J. Symb. Log., 1993)

On the Number of Automorphisms of Uncountable Models. - Saharon Shelah; Heikki Tuuri; Jouko A. Väänänen (J. Symb. Log., 1993)

Reflection of Long Game Formulas. - Jouko A. Väänänen; Heikki Heikkilä (Math. Log. Q., 1994)

Generalized Quantifiers and Pebble Games on Finite Structures. - Phokion G. Kolaitis; Jouko A. Väänänen (Ann. Pure Appl. Log., 1995)

The Hierarchy Theorem for Generalized Quantifiers. - Lauri Hella; Kerkko Luosto; Jouko A. Väänänen (J. Symb. Log., 1996)

Generalized Quantifiers, an Introduction. - Jouko A. Väänänen (ESSLLI, 1997)

Generalized Quantifiers. - Jouko A. Väänänen (Bull. EATCS, 1997)

Definability of Polyadic Lifts of Generalized Quantifiers. - Lauri Hella; Jouko A. Väänänen; Dag Westerståhl (J. Log. Lang. Inf., 1997)

Unary Quantifiers on Finite Models. - Jouko A. Väänänen (J. Log. Lang. Inf., 1997)

Trees and Ehrenfeucht-Fraïssé Games. - Stevo Todorcevic; Jouko A. Väänänen (Ann. Pure Appl. Log., 1999)

Quantifiers and Congruence Closure. - Jörg Flum; Matthias Schiehlen; Jouko A. Väänänen (Stud Logica, 1999)

Stationary Sets and Infinitary Logic. - Saharon Shelah; Jouko A. Väänänen (J. Symb. Log., 2000)

Second-order logic and foundations of mathematics. - Jouko A. Väänänen (Bull. Symb. Log., 2001)

On the semantics of informational independence. - Jouko A. Väänänen (Log. J. IGPL, 2002)

On the Expressive Power of Monotone Natural Language Quantifiers over Finite Models. - Jouko A. Väänänen; Dag Westerståhl (J. Philos. Log., 2002)

Games played on partial isomorphisms. - Jouko A. Väänänen; Boban Velickovic (Arch. Math. Log., 2004)

Barwise: Abstract model theory and generalized quantifiers. - Jouko A. Väänänen (Bull. Symb. Log., 2004)

A note on extensions of infinitary logic. - Saharon Shelah; Jouko A. Väänänen (Arch. Math. Log., 2005)

Finite information logic. - Rohit Parikh; Jouko A. Väänänen (Ann. Pure Appl. Log., 2005)

Recursive logic frames. - Saharon Shelah; Jouko A. Väänänen (Math. Log. Q., 2006)

Dependence Logic - A New Approach to Independence Friendly Logic. - Jouko A. Väänänen (Cambridge University Press, 2007)

Preface. - S. Barry Cooper; Herman Geuvers; Anand Pillay; Jouko A. Väänänen (Ann. Pure Appl. Log., 2008)

Introduction to the special theme: Maths for Everyday Life. - Jouko A. Väänänen; Ulrich Trottenberg (ERCIM News, 2008)

Regular ultrafilters and finite square principles. - Juliette Kennedy; Saharon Shelah; Jouko A. Väänänen (J. Symb. Log., 2008)

The Craig Interpolation Theorem in abstract model theory. - Jouko A. Väänänen (Synth., 2008)

Lindström theorems for fragments of first-order logic - Johan van Benthem; Balder ten Cate; Jouko A. Väänänen (Log. Methods Comput. Sci., 2009)

On Definability in Dependence Logic. - Juha Kontinen; Jouko A. Väänänen (J. Log. Lang. Inf., 2009)

From IF to BI. - Samson Abramsky; Jouko A. Väänänen (Synth., 2009)

Dependence of variables construed as an atomic formula. - Jouko A. Väänänen; Wilfrid Hodges (Ann. Pure Appl. Log., 2010)

Models and Games. - Jouko A. Väänänen (Cambridge University Press, 2011)

From IF to BI: a tale of dependence and separation - Samson Abramsky; Jouko A. Väänänen (CoRR, 2011)

Chain Models, Trees of singular Cardinality and Dynamic EF-Games. - Mirna Dzamonja; Jouko Väänänen (J. Math. Log., 2011)

On löWenheim-Skolem-Tarski numbers for Extensions of First order Logic. - Menachem Magidor; Jouko Väänänen (J. Math. Log., 2011)

Erratum to: On Definability in Dependence Logic. - Juha Kontinen; Jouko A. Väänänen (J. Log. Lang. Inf., 2011)

A Remark on Negation in Dependence Logic. - Juha Kontinen; Jouko A. Väänänen (Notre Dame J. Formal Log., 2011)

Second order logic or set theory? - Jouko A. Väänänen (Bull. Symb. Log., 2012)

The size of a formula as a measure of complexity - Lauri Hella; Jouko A. Väänänen (CoRR, 2012)

Second Order Logic, Set Theory and Foundations of Mathematics. - Jouko A. Väänänen (Epistemology versus Ontology, 2012)

Breaking the Atom with Samson. - Jouko A. Väänänen (Computation, Logic, Games, and Quantum Foundations, 2013)

Independence in Database Relations. - Juha Kontinen; Sebastian Link; Jouko A. Väänänen (WoLLIC, 2013)

Axiomatizing first-order consequences in dependence logic. - Juha Kontinen; Jouko A. Väänänen (Ann. Pure Appl. Log., 2013)

On Dependence Logic - Pietro Galliani; Jouko A. Väänänen (CoRR, 2013)

Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071). - Samson Abramsky; Juha Kontinen; Jouko A. Väänänen; Heribert Vollmer (Dagstuhl Reports, 2013)

On second-order characterizability. - Tapani Hyttinen; Kaisa Kangas; Jouko A. Väänänen (Log. J. IGPL, 2013)

An Ehrenfeucht-Fraïssé game for Lω1ω. - Jouko Väänänen; Tong Wang (Math. Log. Q., 2013)

Dependence and Independence. - Erich Grädel; Jouko A. Väänänen (Stud Logica, 2013)

Editorial Introduction. - Juha Kontinen; Jouko A. Väänänen; Dag Westerståhl (Stud Logica, 2013)

On Dependence Logic. - Pietro Galliani; Jouko Väänänen (Johan van Benthem on Logic and Information Dynamics, 2014)

The Logic of Approximate Dependence. - Jouko Väänänen (CoRR, 2014)

Propositional Logics of Dependence and Independence, Part I. - Fan Yang 004; Jouko Väänänen (CoRR, 2014)

Independence-Friendly Logic: A Game-Theoretic Approach, Allen L. Mann, Gabriel Sandu and Merlijn Sevenster, Cambridge University Press, 2011. Paperback, ISBN 9780521149341, 216 pp. - Jouko Väänänen (Theory Pract. Log. Program., 2014)

The Size of a Formula as a Measure of Complexity. - Lauri Hella; Jouko Väänänen (Logic Without Borders, 2015)

Pursuing Logic without Borders. - Jouko Väänänen (Logic Without Borders, 2015)

Obituary: Jaakko Hintikka 1929-2015. - Jouko Väänänen (Bull. Symb. Log., 2015)

Tractability Frontier of Data Complexity in Team Semantics. - Arnaud Durand 001; Juha Kontinen; Nicolas de Rugy-Altherre; Jouko Väänänen (GandALF, 2015)

Logics for Dependence and Independence (Dagstuhl Seminar 15261). - Erich Grädel; Juha Kontinen; Jouko Väänänen; Heribert Vollmer (Dagstuhl Reports, 2015)

Positional Strategies in Long Ehrenfeucht-FraïSSé Games. - Saharon Shelah; Jouko A. Väänänen; Boban Velickovic (J. Symb. Log., 2015)

Boolean-Valued Second-Order Logic. - Daisuke Ikegami; Jouko Väänänen (Notre Dame J. Formal Log., 2015)

Regular Ultrapowers at Regular Cardinals. - Juliette Kennedy; Saharon Shelah; Jouko Väänänen (Notre Dame J. Formal Log., 2015)

Internal Categoricity in Arithmetic and Set Theory. - Jouko A. Väänänen; Tong Wang (Notre Dame J. Formal Log., 2015)

Quantum Team Logic and Bell's inequalities. - Tapani Hyttinen; Gianluca Paolini; Jouko Väänänen (Rev. Symb. Log., 2015)

Introduction. - Samson Abramsky; Juha Kontinen; Jouko Väänänen; Heribert Vollmer (Dependence Logic, 2016)

Grelling on Dependence. - Jouko Väänänen (Dependence Logic, 2016)

Propositional logics of dependence. - Fan Yang 004; Jouko Väänänen (Ann. Pure Appl. Log., 2016)

On the Symbiosis between Model-Theoretic and Set-Theoretic Properties of Large Cardinals. - Joan Bagaria; Jouko Väänänen (J. Symb. Log., 2016)

Dependence Logic in pregeometries and ω-stable Theories. - Gianluca Paolini; Jouko Väänänen (J. Symb. Log., 2016)

A logic for arguing about probabilities in measure teams. - Tapani Hyttinen; Gianluca Paolini; Jouko Väänänen (Arch. Math. Log., 2017)

Propositional team logics. - Fan Yang 004; Jouko Väänänen (Ann. Pure Appl. Log., 2017)

23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016). - Jouko Väänänen; Ruy J. G. B. de Queiroz; Mauricio Javier Osorio Galindo; Claudia Zepeda Cortés; José R. Arrazola Ramírez (Log. J. IGPL, 2017)

Dependence logic with generalized quantifiers: Axiomatizations. - Fredrik Engström; Juha Kontinen; Jouko Väänänen (J. Comput. Syst. Sci., 2017)

Preface. - Åsa Hirvonen; Thomas Scanlon; Jouko Väänänen; Dag Westerståhl (Ann. Pure Appl. Log., 2018)

A logical approach to context-specific independence. - Jukka Corander; Antti Hyttinen; Juha Kontinen; Johan Pensar; Jouko Väänänen (Ann. Pure Appl. Log., 2019)

23rd Workshop on Logic, Language, Information and Computation - WoLLIC 2016. - Jouko Väänänen; Ruy J. G. B. de Queiroz (Ann. Pure Appl. Log., 2019)

An Extension of a Theorem of Zermelo. - Jouko Väänänen (Bull. Symb. Log., 2019)

Logicality and Model Classes. - Juliette Kennedy; Jouko Väänänen (Bull. Symb. Log., 2021)

Inner models from extended logics: Part 1. - Juliette Kennedy; Menachem Magidor; Jouko Väänänen (J. Math. Log., 2021)

Diversity, dependence and independence. - Pietro Galliani; Jouko Väänänen (Ann. Math. Artif. Intell., 2022)

Introduction. - Jouko Väänänen; Fan Yang 004; Philip Scott (Ann. Pure Appl. Log., 2022)

Positive logics. - Saharon Shelah; Jouko Väänänen (Arch. Math. Log., 2023)

An atom's worth of anonymity. - Jouko Väänänen (Log. J. IGPL, 2023)

When cardinals determine the power set: inner models and Härtig quantifier logic. - Jouko Väänänen; Philip D. Welch (Math. Log. Q., 2023)

Modular SAT-based techniques for reasoning tasks in team semantics. - Arnaud Durand 001; Juha Kontinen; Jouko Väänänen (J. Comput. Syst. Sci., 2024)

Dimension in team semantics. - Lauri Hella; Kerkko Luosto; Jouko Väänänen (Math. Struct. Comput. Sci., 2024)

Bounded symbiosis and upwards reflection. - Lorenzo Galeotti; Yurii Khomskii; Jouko Väänänen (Arch. Math. Log., 2025)

The flattening operator in team-based logics. - Arnaud Durand 001; Juha Kontinen; Werner Mérian; Jouko Väänänen (CoRR, 2025)