Is this you? Create Your Porfile
Avatar

Jouko Väänänen

University of Amsterdam

Network

Latest external collaboration on country level. Dive into details by clicking on the dots.

Explore More

Hotspot

Dive into the research topics where Jouko Väänänen is active.

Explore More

Publication

Featured researches published by Jouko Väänänen.

Studia Logica | 2013

Dependence and Independence

Erich Grädel; Jouko Väänänen

We introduce an atomic formula

Annals of Pure and Applied Logic | 1995

Generalized quantifiers and pebble games on finite structures

Phokion G. Kolaitis; Jouko Väänänen

The Bulletin of Symbolic Logic | 2001

Second-Order Logic and Foundations of Mathematics

Jouko Väänänen

{\vec{y} \bot_{\vec{x}}\vec{z}}

Synthese | 2009

From IF to BI: A tale of dependence and separation

Samson Abramsky; Jouko Väänänen

Journal of Logic, Language and Information | 2009

On Definability in Dependence Logic

Juha Kontinen; Jouko Väänänen

intuitively saying that the variables

Mathematical Logic Quarterly | 1992

PARTIALLY ORDERED CONNECTIVES

Gabriel Sandu; Jouko Väänänen

Logic Journal of The Igpl \/ Bulletin of The Igpl | 2002

On the semantics of informational independence

Jouko Väänänen

{\vec{y}}

Journal of Logic, Language and Information | 1997

Unary Quantifiers on Finite Models

Jouko Väänänen

Annals of Pure and Applied Logic | 2013

Axiomatizing first-order consequences in dependence logic

Juha Kontinen; Jouko Väänänen

are independent from the variables

Transactions of the American Mathematical Society | 1993

The Ehrenfeucht-Fraïssé-game of length ₁

Alan H. Mekler; Saharon Shelah; Jouko Väänänen

Explore More

Collaboration

Dive into the Jouko Väänänen's collaboration.

Top Co-Authors
Avatar

Juha Kontinen

University of Helsinki

View shared research outputs
Top Co-Authors
Avatar

Saharon Shelah

Hebrew University of Jerusalem

View shared research outputs
Top Co-Authors
Avatar

Tapani Hyttinen

University of Helsinki

View shared research outputs
Top Co-Authors
Avatar

Juha Oikkonen

University of Helsinki

View shared research outputs
Top Co-Authors
Avatar

Alan H. Mekler

Simon Fraser University

View shared research outputs
Top Co-Authors
Avatar

Dag Westerståhl

University of Gothenburg

View shared research outputs
Top Co-Authors
Avatar

Juliette Kennedy

University of Helsinki

View shared research outputs
Top Co-Authors
Avatar

Michał Krynicki

University of Warsaw

View shared research outputs
Top Co-Authors
Avatar

Viggo Stoltenberg-Hansen

Uppsala University

View shared research outputs
Top Co-Authors
Avatar

Gianluca Paolini

University of Helsinki

View shared research outputs
Explore More
Researchain Logo
Decentralizing Knowledge