Jouko Väänänen

Person

Highlighted publications

  1. 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: Scientific - peer-reviewBook

  2. 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: Scientific - peer-reviewArticle

View all (99) »

Highlighted activities

  1. European Mathematical Society (External organisation)

    Väänänen, J. (Chair)
    31 Dec 200731 Dec 2014

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

View all (144) »

Latest projects

  1. CIMO Fellowship Gianluca Paolini TM-13-8847

    Väänänen, J.

    Unknown funder

    01/10/201331/12/2014

    Project: Research project

  2. Matemaattinen logiikka ja sen sovellutukset

    Väänänen, J.

    Unknown funder

    01/09/201131/08/2015

    Project: Research project

  3. ESF LogiCCC

    Väänänen, J.

    01/10/201030/07/2011

    Project: Research project

View all (3) »

Education

Fil. toht., muu tai tuntematon koulutusala

ID: 43439