Jouko A. Väänänen

Publication Activity (10 Years)

Years Active: 1980-2015
Publications (10 Years): 0

Top Topics

Independence Assumption

Top Venues

Bull. Symb. Log.

Publications

Saharon Shelah, Jouko A. Väänänen, Boban Velickovic
Positional Strategies in Long Ehrenfeucht-FraïSSé Games. J. Symb. Log. 80 (1) (2015)
Jouko A. Väänänen, Tong Wang
Internal Categoricity in Arithmetic and Set Theory. Notre Dame J. Formal Log. 56 (1) (2015)
Fredrik Engström, Juha Kontinen, Jouko A. Väänänen
Dependence Logic with Generalized Quantifiers: Axiomatizations. WoLLIC (2013)
Pietro Galliani, Jouko A. Väänänen
On Dependence Logic CoRR (2013)
Erich Grädel, Jouko A. Väänänen
Dependence and Independence. Stud Logica 101 (2) (2013)
Samson Abramsky, Juha Kontinen, Jouko A. Väänänen, Heribert Vollmer
Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071). Dagstuhl Reports 3 (2) (2013)
Jouko A. Väänänen
Breaking the Atom with Samson. Computation, Logic, Games, and Quantum Foundations (2013)
Juha Kontinen, Jouko A. Väänänen
Axiomatizing first-order consequences in dependence logic. Ann. Pure Appl. Log. 164 (11) (2013)
Juha Kontinen, Sebastian Link, Jouko A. Väänänen
Independence in Database Relations. WoLLIC (2013)
Juha Kontinen, Jouko A. Väänänen, Dag Westerståhl
Editorial Introduction. Stud Logica 101 (2) (2013)
Fredrik Engström, Juha Kontinen, Jouko A. Väänänen
Dependence Logic with Generalized Quantifiers: Axiomatizations CoRR (2013)
Tapani Hyttinen, Kaisa Kangas, Jouko A. Väänänen
On second-order characterizability. Log. J. IGPL 21 (5) (2013)
Erich Grädel, Jouko A. Väänänen
Dependence and Independence CoRR (2012)
Lauri Hella, Jouko A. Väänänen
The size of a formula as a measure of complexity CoRR (2012)
Juha Kontinen, Jouko A. Väänänen
Axiomatizing first order consequences in dependence logic CoRR (2012)
Jouko A. Väänänen
Second order logic or set theory? Bull. Symb. Log. 18 (1) (2012)
Juha Kontinen, Jouko A. Väänänen
Erratum to: On Definability in Dependence Logic. J. Log. Lang. Inf. 20 (1) (2011)
Samson Abramsky, Jouko A. Väänänen
From IF to BI: a tale of dependence and separation CoRR (2011)
Juha Kontinen, Jouko A. Väänänen
A Remark on Negation in Dependence Logic. Notre Dame J. Formal Log. 52 (1) (2011)
Jouko A. Väänänen, Wilfrid Hodges
Dependence of variables construed as an atomic formula. Ann. Pure Appl. Log. 161 (6) (2010)
Juha Kontinen, Jouko A. Väänänen
On Definability in Dependence Logic. J. Log. Lang. Inf. 18 (3) (2009)
Samson Abramsky, Jouko A. Väänänen
From IF to BI. Synth. 167 (2) (2009)
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)
Juliette Kennedy, Saharon Shelah, Jouko A. Väänänen
Regular ultrafilters and finite square principles. J. Symb. Log. 73 (3) (2008)
Jouko A. Väänänen
The Craig Interpolation Theorem in abstract model theory. Synth. 164 (3) (2008)
S. Barry Cooper, Herman Geuvers, Anand Pillay, Jouko A. Väänänen
Preface. Ann. Pure Appl. Log. 156 (1) (2008)
Jouko A. Väänänen, Ulrich Trottenberg
Introduction to the special theme: Maths for Everyday Life. ERCIM News 2008 (73) (2008)
Balder ten Cate, Johan van Benthem, Jouko A. Väänänen
Lindstrom theorems for fragments of first-order logic. LICS (2007)
Saharon Shelah, Jouko A. Väänänen
Recursive logic frames. Math. Log. Q. 52 (2) (2006)
Rohit Parikh, Jouko A. Väänänen
Finite information logic. Ann. Pure Appl. Log. 134 (1) (2005)
Saharon Shelah, Jouko A. Väänänen
A note on extensions of infinitary logic. Arch. Math. Log. 44 (1) (2005)
Jouko A. Väänänen, Boban Velickovic
Games played on partial isomorphisms. Arch. Math. Log. 43 (1) (2004)
Jouko A. Väänänen
Barwise: Abstract model theory and generalized quantifiers. Bull. Symb. Log. 10 (1) (2004)
Jouko A. Väänänen
On the semantics of informational independence. Log. J. IGPL 10 (3) (2002)
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) (2002)
Jouko A. Väänänen
Second-order logic and foundations of mathematics. Bull. Symb. Log. 7 (4) (2001)
Saharon Shelah, Jouko A. Väänänen
Stationary Sets and Infinitary Logic. J. Symb. Log. 65 (3) (2000)
Jörg Flum, Matthias Schiehlen, Jouko A. Väänänen
Quantifiers and Congruence Closure. Stud Logica 62 (3) (1999)
Stevo Todorcevic, Jouko A. Väänänen
Trees and Ehrenfeucht-Fraïssé Games. Ann. Pure Appl. Log. 100 (1-3) (1999)
Jouko A. Väänänen
Unary Quantifiers on Finite Models. J. Log. Lang. Inf. 6 (3) (1997)
Lauri Hella, Jouko A. Väänänen, Dag Westerståhl
Definability of Polyadic Lifts of Generalized Quantifiers. J. Log. Lang. Inf. 6 (3) (1997)
Jouko A. Väänänen
Generalized Quantifiers. Bull. EATCS 62 (1997)
Jouko A. Väänänen
Generalized Quantifiers, an Introduction. ESSLLI (1997)
Lauri Hella, Kerkko Luosto, Jouko A. Väänänen
The Hierarchy Theorem for Generalized Quantifiers. J. Symb. Log. 61 (3) (1996)
Phokion G. Kolaitis, Jouko A. Väänänen
Generalized Quantifiers and Pebble Games on Finite Structures. Ann. Pure Appl. Log. 74 (1) (1995)
Jouko A. Väänänen, Heikki Heikkilä
Reflection of Long Game Formulas. Math. Log. Q. 40 (1994)
Juha Oikkonen, Jouko A. Väänänen
Game-Theoretic Inductive Definability. Ann. Pure Appl. Logic 65 (3) (1993)
Saharon Shelah, Heikki Tuuri, Jouko A. Väänänen
On the Number of Automorphisms of Uncountable Models. J. Symb. Log. 58 (4) (1993)
Alan H. Mekler, Jouko A. Väänänen
. J. Symb. Log. 58 (3) (1993)
Phokion G. Kolaitis, Jouko A. Väänänen
Generalized Quantifiers and Pebble Games on Finite Structures LICS (1992)
Heinrich Herre, Michal Krynicki, Alexander G. Pinus, Jouko A. Väänänen
The Härtig Quantifier: A Survey. J. Symb. Log. 56 (4) (1991)
Tapani Hyttinen, Jouko A. Väänänen
On Scott and Karp Trees of Uncountable Models. J. Symb. Log. 55 (3) (1990)
Michal Krynicki, Jouko A. Väänänen
Henkin and Function Quantifiers. Ann. Pure Appl. Log. 43 (3) (1989)
Jouko A. Väänänen
Abstract Logic and Set Theory. II. Large Cardinals. J. Symb. Log. 47 (2) (1982)
D. A. Anapolitanos, Jouko A. Väänänen
Decidability of Some Logics with Free Quantifier Variables. Math. Log. Q. 27 (2-6) (1981)
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) (1980)