Jouko A. Väänänen

According to our database, Jouko A. Väänänen authored at least 98 papers between 1980 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of two.

2026

Aspects of Coherence in Dependence Logic.

Timon Barlag, Nicolas Fröhlich, Miika Hannula, Phokion G. Kolaitis, Juha Kontinen, Arne Meier, Jouko Väänänen

CoRR, May, 2026

Team Semantics and Independence Notions in quantum Physics.

Samson Abramsky, Joni Puljujärvi, Jouko Väänänen

Bull. Symb. Log., 2026

2025

The flattening operator in team-based logics.

Arnaud Durand, Juha Kontinen, Werner Mérian, Jouko Väänänen

CoRR, May, 2025

Bounded symbiosis and upwards reflection.

Lorenzo Galeotti, Yurii Khomskii, Jouko Väänänen

Arch. Math. Log., May, 2025

2024

Dimension in team semantics.

Lauri Hella, Kerkko Luosto, Jouko Väänänen

Math. Struct. Comput. Sci., 2024

Modular SAT-based techniques for reasoning tasks in team semantics.

Arnaud Durand, Juha Kontinen, Jouko Väänänen

J. Comput. Syst. Sci., 2024

2023

When cardinals determine the power set: inner models and Härtig quantifier logic.

Jouko Väänänen, Philip D. Welch

Math. Log. Q., November, 2023

An atom's worth of anonymity.

Jouko Väänänen

Log. J. IGPL, November, 2023

Positive logics.

Saharon Shelah, Jouko Väänänen

Arch. Math. Log., 2023

2022

Tractability Frontier of Data Complexity in Team Semantics.

Arnaud Durand, Juha Kontinen, Nicolas de Rugy-Altherre, Jouko Väänänen

ACM Trans. Comput. Log., 2022

Introduction.

Jouko Väänänen, Fan Yang, Philip Scott

Ann. Pure Appl. Log., 2022

2021

Inner models from extended logics: Part 1.

Juliette Kennedy, Menachem Magidor, Jouko Väänänen

J. Math. Log., 2021

Logicality and Model Classes.

Juliette Kennedy, Jouko Väänänen

Bull. Symb. Log., 2021

2020

Diversity, Dependence and Independence.

Pietro Galliani, Jouko Väänänen

Proceedings of the Foundations of Information and Knowledge Systems, 2020

2019

An Extension of a Theorem of Zermelo.

Jouko Väänänen

Bull. Symb. 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

2018

Preface.

Åsa Hirvonen, Thomas Scanlon, Jouko Väänänen, Dag Westerståhl

Ann. Pure Appl. Log., 2018

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

Propositional team logics.

Fan Yang, Jouko Väänänen

Ann. Pure Appl. Log., 2017

A logic for arguing about probabilities in measure teams.

Tapani Hyttinen, Gianluca Paolini, Jouko Väänänen

Arch. Math. Log., 2017

2016

Dependence Logic in pregeometries and <i>ω</i>-stable Theories.

Gianluca Paolini, Jouko Väänänen

J. Symb. 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

Propositional logics of dependence.

Fan Yang, Jouko Väänänen

Ann. Pure Appl. Log., 2016

A Logical Approach to Context-Specific Independence.

Jukka Corander, Antti Hyttinen, Juha Kontinen, Johan Pensar, Jouko Väänänen

Proceedings of the Logic, Language, Information, and Computation, 2016

Grelling on Dependence.

Jouko Väänänen

Proceedings of the Dependence Logic, Theory and Applications, 2016

Introduction.

Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer

Proceedings of the Dependence Logic, Theory and Applications, 2016

2015

Quantum Team Logic and Bell's inequalities.

Tapani Hyttinen, Gianluca Paolini, Jouko Väänänen

Rev. Symb. Log., 2015

Internal Categoricity in Arithmetic and Set Theory.

Jouko A. Väänänen, Tong Wang

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

Boolean-Valued Second-Order Logic.

Daisuke Ikegami, Jouko Väänänen

Notre Dame J. Formal Log., 2015

Positional Strategies in Long Ehrenfeucht-FraïSSé Games.

Saharon Shelah, Jouko A. Väänänen, Boban Velickovic

J. Symb. Log., 2015

Logics for Dependence and Independence (Dagstuhl Seminar 15261).

Erich Grädel, Juha Kontinen, Jouko Väänänen, Heribert Vollmer

Dagstuhl Reports, 2015

Obituary: Jaakko Hintikka 1929-2015.

Jouko Väänänen

Bull. Symb. Log., 2015

Pursuing Logic without Borders.

Jouko Väänänen

Proceedings of the Logic Without Borders, 2015

The Size of a Formula as a Measure of Complexity.

Lauri Hella, Jouko Väänänen

Proceedings of the Logic Without Borders, 2015

2014

<i>Independence-Friendly Logic: A Game-Theoretic Approach</i>, 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

Propositional Logics of Dependence and Independence, Part I.

Fan Yang, Jouko Väänänen

CoRR, 2014

The Logic of Approximate Dependence.

Jouko Väänänen

CoRR, 2014

On Dependence Logic.

Pietro Galliani, Jouko Väänänen

Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2013

Editorial Introduction.

Juha Kontinen, Jouko A. Väänänen, Dag Westerståhl

Stud Logica, 2013

Dependence and Independence.

Erich Grädel, Jouko A. Väänänen

Stud Logica, 2013

An Ehrenfeucht-Fraïssé game for Lω1ω.

Jouko Väänänen, Tong Wang

Math. Log. Q., 2013

On second-order characterizability.

Tapani Hyttinen, Kaisa Kangas, Jouko A. Väänänen

Log. J. IGPL, 2013

Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071).

Samson Abramsky, Juha Kontinen, Jouko A. Väänänen, Heribert Vollmer

Dagstuhl Reports, 2013

On Dependence Logic

Pietro Galliani, Jouko A. Väänänen

CoRR, 2013

Axiomatizing first-order consequences in dependence logic.

Juha Kontinen, Jouko A. Väänänen

Ann. Pure Appl. Log., 2013

Independence in Database Relations.

Juha Kontinen, Sebastian Link, Jouko A. Väänänen

Proceedings of the Logic, Language, Information, and Computation, 2013

Dependence Logic with Generalized Quantifiers: Axiomatizations.

Fredrik Engström, Juha Kontinen, Jouko A. Väänänen

Proceedings of the Logic, Language, Information, and Computation, 2013

Breaking the Atom with Samson.

Jouko A. Väänänen

Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013

2012

Second Order Logic, Set Theory and Foundations of Mathematics.

Jouko A. Väänänen

Proceedings of the Epistemology versus Ontology, 2012

The size of a formula as a measure of complexity

Lauri Hella, Jouko A. Väänänen

CoRR, 2012

Second order logic or set theory?

Jouko A. Väänänen

Bull. Symb. Log., 2012

2011

A Remark on Negation in Dependence Logic.

Juha Kontinen, Jouko A. Väänänen

Notre Dame J. Formal Log., 2011

Erratum to: On Definability in Dependence Logic.

Juha Kontinen, Jouko A. Väänänen

J. Log. Lang. Inf., 2011

On löWenheim-Skolem-Tarski numbers for Extensions of First order Logic.

Menachem Magidor, Jouko Väänänen

J. Math. Log., 2011

Chain Models, Trees of singular Cardinality and Dynamic EF-Games.

Mirna Dzamonja, Jouko Väänänen

J. Math. Log., 2011

From IF to BI: a tale of dependence and separation

Samson Abramsky, Jouko A. Väänänen

CoRR, 2011

Models and Games.

Jouko A. Väänänen

Cambridge studies in advanced mathematics 132, Cambridge University Press, ISBN: 978-0-521-51812-3, 2011

2010

Dependence of variables construed as an atomic formula.

Jouko A. Väänänen, Wilfrid Hodges

Ann. Pure Appl. Log., 2010

2009

From IF to BI.

Samson Abramsky, Jouko A. Väänänen

Synth., 2009

On Definability in Dependence Logic.

Juha Kontinen, Jouko A. Väänänen

J. Log. Lang. Inf., 2009

2008

The Craig Interpolation Theorem in abstract model theory.

Jouko A. Väänänen

Synth., 2008

Regular ultrafilters and finite square principles.

Juliette Kennedy, Saharon Shelah, Jouko A. Väänänen

J. Symb. Log., 2008

Introduction to the special theme: Maths for Everyday Life.

Jouko A. Väänänen, Ulrich Trottenberg

ERCIM News, 2008

Preface.

S. Barry Cooper, Herman Geuvers, Anand Pillay, Jouko A. Väänänen

Ann. Pure Appl. Log., 2008

2007

Lindstrom theorems for fragments of first-order logic.

Balder ten Cate, Johan van Benthem, Jouko A. Väänänen

Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

Dependence Logic - A New Approach to Independence Friendly Logic.

Jouko A. Väänänen

London Mathematical Society student texts 70, Cambridge University Press, ISBN: 978-0-521-70015-3, 2007

2006

Recursive logic frames.

Saharon Shelah, Jouko A. Väänänen

Math. Log. Q., 2006

2005

Finite information logic.

Rohit Parikh, Jouko A. Väänänen

Ann. Pure Appl. Log., 2005

A note on extensions of infinitary logic.

Saharon Shelah, Jouko A. Väänänen

Arch. Math. Log., 2005

2004

Barwise: Abstract model theory and generalized quantifiers.

Jouko A. Väänänen

Bull. Symb. Log., 2004

Games played on partial isomorphisms.

Jouko A. Väänänen, Boban Velickovic

Arch. Math. Log., 2004

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

On the semantics of informational independence.

Jouko A. Väänänen

Log. J. IGPL, 2002

2001

Second-order logic and foundations of mathematics.

Jouko A. Väänänen

Bull. Symb. Log., 2001

2000

Stationary Sets and Infinitary Logic.

Saharon Shelah, Jouko A. Väänänen

J. Symb. Log., 2000

1999

Quantifiers and Congruence Closure.

Jörg Flum, Matthias Schiehlen, Jouko A. Väänänen

Stud Logica, 1999

Trees and Ehrenfeucht-Fraïssé Games.

Stevo Todorcevic, Jouko A. Väänänen

Ann. Pure Appl. Log., 1999

1997

Unary Quantifiers on Finite Models.

Jouko A. Väänänen

J. Log. Lang. Inf., 1997

Definability of Polyadic Lifts of Generalized Quantifiers.

Lauri Hella, Jouko A. Väänänen, Dag Westerståhl

J. Log. Lang. Inf., 1997

Generalized Quantifiers.

Jouko A. Väänänen

Bull. EATCS, 1997

Generalized Quantifiers, an Introduction.

Jouko A. Väänänen

Proceedings of the Generalized Quantifiers and Computation, 1997

1996

The Hierarchy Theorem for Generalized Quantifiers.

Lauri Hella, Kerkko Luosto, Jouko A. Väänänen

J. Symb. Log., 1996

1994

Reflection of Long Game Formulas.

Jouko A. Väänänen, Heikki Heikkilä

Math. Log. Q., 1994

1993

On the Number of Automorphisms of Uncountable Models.

Saharon Shelah, Heikki Tuuri, Jouko A. Väänänen

J. Symb. Log., 1993

Trees and Pi¹₁-Subsets of ^omega₁\omega₁.

Alan H. Mekler, Jouko A. Väänänen

J. Symb. Log., 1993

Game-Theoretic Inductive Definability.

Juha Oikkonen, Jouko A. Väänänen

Ann. Pure Appl. Logic, 1993

1992

Partially Ordered Connectives.

Gabriel Sandu, Jouko Väänänen

Math. Log. Q., 1992

Generalized Quantifiers and Pebble Games on Finite Structures

Phokion G. Kolaitis, Jouko A. Väänänen

Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

1991

The Härtig Quantifier: A Survey.

Heinrich Herre, Michal Krynicki, Alexander G. Pinus, Jouko A. Väänänen

J. Symb. Log., 1991

1990

On Scott and Karp Trees of Uncountable Models.

Tapani Hyttinen, Jouko A. Väänänen

J. Symb. Log., 1990

1989

Henkin and Function Quantifiers.

Michal Krynicki, Jouko A. Väänänen

Ann. Pure Appl. Log., 1989

1984

Vector spaces and binary quantifiers.

Michal Krynicki, Alistair H. Lachlan, Jouko Väänänen

Notre Dame J. Formal Log., 1984

1982

Abstract Logic and Set Theory. II. Large Cardinals.

Jouko A. Väänänen

J. Symb. Log., 1982

1981

Decidability of Some Logics with Free Quantifier Variables.

D. A. Anapolitanos, Jouko A. Väänänen

Math. Log. Q., 1981

1980

A Quantifier for Isomorphisms.

Jouko Väänänen

Math. Log. Q., 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

On orderings of the family of all logics.

Michal Krynicki, Jouko Väänänen

Arch. Math. Log., 1980