Jouko Väänänen


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: Book/ReportBook

  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: Contribution to journalArticle

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 (151) »

Latest projects

  1. CIMO Fellowship Gianluca Paolini TM-13-8847

    Väänänen, J.

    Unknown funder


    Project: Research project

  2. Matemaattinen logiikka ja sen sovellutukset

    Väänänen, J.

    Unknown funder


    Project: Research project

  3. ESF LogiCCC

    Väänänen, J.


    Project: Research project

View all (3) »


Fil. toht., muu tai tuntematon koulutusala

ID: 43439