Jouko Väänänen

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/Report › Book › Scientific › peer-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 journal › Article › Scientific › peer-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/Report › Book › Scientific › peer-review
Dimension in team semantics
Hella, L., Luosto, K. & Väänänen, J., 12 Mar 2024, In: Mathematical structures in computer science. 45 p.
Research output: Contribution to journal › Article › Scientific › peer-review
How first order is first order logic?
Kennedy, J. & Väänänen, J., 2024, (Accepted/In press) The Oxford Handbook of Philosophy of Logic. Brendel, E., Carrara, M., Ferrari , F., Hjortland, O., Sagi, G., Sher, G. & Steinberger, F. (eds.). Oxford University Press
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review

Open Access
File

TEAMDEP: Team Semantics and Dependence logic
Väänänen, J. (Project manager)
01/06/2021 → 31/05/2026
Project: Research project
Plurality vs. uniqueness: dependence logic and set-theoretic aspects
Väänänen, J. (Project manager)
01/09/2019 → 31/08/2023
Project: Research project
CIMO Fellowship Gianluca Paolini TM-13-8847
Väänänen, J. (Project manager)
Unknown funder
01/10/2013 → 31/12/2014
Project: Research project
Matemaattinen logiikka ja sen sovellutukset
Väänänen, J. (Project manager)
Unknown funder
01/09/2011 → 31/08/2015
Project: Research project
ESF LogiCCC
Väänänen, J. (Project manager)
01/10/2010 → 30/07/2011
Project: Research project

European Set Theory Society (External organisation)
Väänänen, J. (Board member)
2014
Activity: Membership types › Membership or other role in national/international committee, council, board
Seminar on internal categoricity with Jouko Väänänen
Väänänen, J. (Speaker: Keynote), Hartimo, M. (Member of organizing committee) & Saario, L. (Member of organizing committee)
16 Dec 2022
Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars
Annals of Pure and Applied Logic (Journal)
Väänänen, J. (Editor), Yang, F. (Editor) & Scott, P. (Editor)
2022
Activity: Publication peer-review and editorial work types › Editor of special theme number
Hebrew University of Jerusalem
Väänänen, J. (Visiting researcher)
25 Nov 2019 → 10 Jan 2020
Activity: Visiting an external institution types › Academic visit to other institution
Rutgers State Univ, Rutgers State University
Väänänen, J. (Visiting researcher)
1 Sept 2019 → 21 Nov 2019
Activity: Visiting an external institution types › Academic visit to other institution

Personal profile