#### Filter Results:

- Full text PDF available (92)

#### Publication Year

1980

2017

- This year (2)
- Last 5 years (49)
- Last 10 years (83)

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Jouko A. Väänänen
- London Mathematical Society student texts
- 2007

- Erich Grädel, Jouko A. Väänänen
- Studia Logica
- 2013

We introduce an atomic formula y ⊥ x z intuitively saying that the variables y are independent from the variables z if the variables x are kept constant. We contrast this with dependence logic D based on the atomic formula =(x, y), actually equivalent to y ⊥ x y, saying that the variables y are totally determined by the variables x. We show that y ⊥ x z… (More)

- Juha Kontinen, Jouko A. Väänänen
- Journal of Logic, Language and Information
- 2009

We study the expressive power of open formulas of dependence logic introduced in Väänänen [Dependence logic (Vol. 70 of London Mathematical Society Student Texts), 2007]. In particular, we answer a question raised by Wilfrid Hodges: how to characterize the sets of teams definable by means of identity only in dependence logic, or equivalently in independence… (More)

We introduce a modal language which involves the concept of dependence. We give two game-theoretic definitions for the semantics of the language, and one inductive, and prove the equivalence of all three.

- Alan H. Mekler, Jouko A. Väänänen
- J. Symb. Log.
- 1993

- Tapani Hyttinen, Jouko A. Väänänen
- J. Symb. Log.
- 1990

- Jouko A. Väänänen
- Bulletin of Symbolic Logic
- 2001

We discuss the differences between first-order set theory and second-order logic as a foundation for mathematics. We analyse these languages in terms of two levels of formalization. The analysis shows that if second-order logic is understood in its full semantics capable of characterizing categorically central mathematical concepts, it relies entirely on… (More)

- Samson Abramsky, Jouko A. Väänänen
- Synthese
- 2009

- Gabriel Sandu, Jouko A. Väänänen
- Math. Log. Q.
- 1992

- Lauri Hella, Kerkko Luosto, Jouko A. Väänänen
- J. Symb. Log.
- 1996

The concept of a generalized quantiier of a given similarity type was deened in Lin66]. Our main result says that on nite structures diierent similarity types give rise to diierent classes of generalized quantiiers. More exactly, for every similarity type t there is a generalized quantiier of type t which is not deenable in the extension of rst order logic… (More)