Photo of Jouko Väänänen
  • PL 68 (Pietari Kalmin katu 5)

    00014

    Finland

1973 …2019
If you made any changes in Pure these will be visible here soon.

Personal profile

Fields of Science

  • 111 Mathematics

International and National Collaboration Publications and projects within past five years.

Publications 1973 2019

Dependence logic: a new approach to independence friendly logic

Väänänen, J., 2007, Cambridge: Cambridge University Press. 225 p. (London Mathematical Society student texts; no. 70)

Research output: Book/ReportBookScientificpeer-review

From IF to BI: a tale of dependence and separation

Abramsky, S. & Väänänen, J., 2009, In : Synthese. 167, p. 207-230 24 p.

Research output: Contribution to journalArticleScientificpeer-review

Models and Games

Väänänen, J., May 2011, Cambridge: Cambridge University Press. 374 p. (Cambridge Studies in Advanced Mathematics; no. 132)

Research output: Book/ReportBookScientificpeer-review

23rd Workshop on Logic, Language, Information and Computation - WoLLIC 2016

Väänänen, J. & de Queiroz, R. J. G. B., Sep 2019, In : Annals of Pure and Applied Logic. 170, 9, p. 921-922 2 p.

Research output: Contribution to journalEditorialScientific

A Logical Approach to Context-Specific Independence

Corander, J., Hyttinen, A., Kontinen, J., Pensar, J. & Väänänen, J., Sep 2019, In : Annals of Pure and Applied Logic. 170, 9, p. 975-992 18 p.

Research output: Contribution to journalArticleScientificpeer-review

Projects 2010 2015

CIMO Fellowship Gianluca Paolini TM-13-8847

Väänänen, J.

Unknown funder

01/10/201331/12/2014

Project: Research project

Matemaattinen logiikka ja sen sovellutukset

Väänänen, J.

Unknown funder

01/09/201131/08/2015

Project: Research project

ESF LogiCCC

Väänänen, J.

01/10/201030/07/2011

Project: Research project

Activities 2000 2018

European Set Theory Society (External organisation)

Jouko Väänänen (Board member)
2014

Activity: Membership typesMembership or other role in national/international committee, council, board

Internal categoricity

Jouko Väänänen (Speaker)
10 Jan 2018

Activity: Talk or presentation typesInvited talk

Cantorin paratiisi ja matematiikan totuudet

Jouko Väänänen (Speaker)
19 Jan 2018

Activity: Talk or presentation typesInvited talk

Inner models from extended logics

Jouko Väänänen (Speaker)
27 Jan 2017

Activity: Talk or presentation typesInvited talk

Some applications of team semantics

Jouko Väänänen (Speaker)
9 Jun 2017

Activity: Talk or presentation typesInvited talk

Press / Media

Mielipidekirjoitus: Tiederatikan valmistelu pitäisi aloittaa heti.

Jouko Väänänen

05/12/2017

1 media contribution

Press/Media: Press / Media

Mielipidekirjoitus: Kansainvälisyys vahvistaa yliopistoa

Jouko Väänänen

19/03/2017

1 media contribution

Press/Media: Press / Media

Muistokirjoitus: Matemaatikko oli verkko-opetuksen edelläkävijä

Jouko Väänänen

04/03/2015

1 media contribution

Press/Media: Press / Media

Radio of Finland (Yleisradio): Kultakuume-ohjelma

Jouko Väänänen

24/08/2009

1 media contribution

Press/Media: Press / Media