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

    00014

    Finland

1973 …2020

Research output per year

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

Publications

Filter
Anthology or special issue
2018

Logic colloquium 2015 proceedings: Preface

Hirvonen, Å. (ed.), Scanlon, T. (ed.), Väänänen, J. (ed.) & Westerståhl, D. (ed.), Dec 2018, Elsevier. 1243 p. (Annals of Pure and Applied Logic; vol. 169, no. 12)

Research output: Book/ReportAnthology or special issueScientificpeer-review

2016

Dependence Logic: Theory and Applications

Abramsky, S., Kontinen, J. (ed.), Väänänen, J. (ed.) & Vollmer, H., 2016, Basel: Birkhäuser Basel. 270 p.

Research output: Book/ReportAnthology or special issueScientificpeer-review

Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Väänänen, J. (ed.), Hirvonen, Å. (ed.) & de Queiroz, R. (ed.), 2016, Berlin Heidelberg: Springer-Verlag. 447 p. (Lecture Notes in Computer Science; vol. 9803)

Research output: Book/ReportAnthology or special issueScientificpeer-review

2013

Studia Logica Special Issue: Dependence and Independence in Logic

Kontinen, J. (ed.), Väänänen, J. (ed.) & Westerståhl, D. (ed.), Apr 2013, Springer. (Studia Logica; vol. 101, no. 2)

Research output: Book/ReportAnthology or special issueScientificpeer-review

2009

Logic Colloquium 2006

Cooper, S. B. (ed.), Geuvers, H. (ed.), Pillay, A. (ed.) & Väänänen, J. (ed.), 2009, (Lecture Notes in Logic; vol. 32)

Research output: Book/ReportAnthology or special issueScientificpeer-review

2006

Logic Colloquium '03: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003

Stoltenberg-Hansen, V. (ed.) & Väänänen, J. (ed.), 2006, La Jolla, CA: Association for symbolic logic. 408 p. (Lecture notes in logic; no. 24)

Research output: Book/ReportAnthology or special issueScientificpeer-review