#### Filter Results:

- Full text PDF available (92)

#### Publication Year

1980

2017

#### 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

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

- 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)

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

- Jouko A. Väänänen
- Logic Journal of the IGPL
- 2002

The semantics of the independence friendly logic of Hintikka and Sandu is usually defined via a game of imperfect information. We give a definition in terms of a game of perfect information. We also give an Ehrenfeucht-Fra¨ıssé game adequate for this logic and use it to define a Distributive Normal Form for independence friendly logic.