Väänänen, J. (2008) Modal dependence logic.

In Apt, K.R. van Rooij, R. (Eds.), New Perspectives on Games and Interaction (pp 237-254) (Texts in logic and games, Vol. 4). Amsterdam University Press.

Väänänen, J. (2008) How complicated can structures be?.

Nieuw Archief voor Wiskunde, Vol. 5/9 (pp 117-121)

Article | http://www.nieuwarchief.nl/serie5/pdf/naw5-2008-09-2-117.pdf | UvA-DARE

Väänänen, J. (2010) A taste of set theory for philosophers.

Journal of Indian Council of Philosophical Research, Vol. 27 (pp 143-163)

Article | http://www.csc.liv.ac.uk/~mjw/pubs/icpr2011.pdf | UvA-DARE

Väänänen, J. (2010) How I became a logician.

In Roinila, M. (Eds.), Miten meistä tuli tohtoreita (pp 59-63). Suomen filosofinen yhdistys.

Väänänen, J. (2011) Models and games.

Cambridge Studies in Advanced Mathematics, Vol. 132. Cambridge University Press.

Book | https://doi.org/10.1017/CBO9780511974885 | UvA-DARE

Väänänen, J. (2011) A taste of set theory for philosophers.

In Gupta, A. van Benthem, J. (Eds.), Logic and philosophy today (pp 141-162) (Studies in Logic, Vol. 1). College Publications.

Väänänen, J. (2012) Second order logic, set theory and foundations of mathematics.

In Dybjer, P. Lindström, S. Palmgren, E. Sundholm, G. (Eds.), Epistemology versus Ontology: Essays of the Philosophy and Foundations of Mathematics in Honor of Per Martin-Löf (pp 371-380) (Logic, Epistemology, and the Unity of Science, Vol. 27). Springer.

Väänänen, J. (2012) Second order logic or set theory?.

Bulletin of Symbolic Logic, Vol. 18 (pp 91-121)

Article | https://doi.org/10.2178/bsl/1327328440 | UvA-DARE

Väänänen, J. (2013) Breaking the atom with Samson.

In Coecke, B. Ong, L. Panangaden, P. (Eds.), Computation, logic, games, and quantum foundations: the many facets of Samson Abramsky: essays dedicated to Samson Abramsky on the occasion of his 60th birthday (pp 327-335) (Lecture Notes in Computer Science, Vol. 7860). Springer.

Väänänen, J. (2014) Multiverse set theory and absolutely undecidable propositions.

In Kennedy, J. (Eds.), Interpreting Gödel: critical essays (pp 180-208). Cambridge University Press.

Väänänen, J. (2014) Sort logic and foundations of mathematics.

In Chong, C. Feng, Q. Slaman, T.A. Woodin, W.H. (Eds.), Infinity and truth (pp 171-186) (Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore, Vol. 25). World Scientific.

Väänänen, J. (2015) Categoricity and consistency in second-order logic.

Inquiry : an Interdisciplinary Journal of Philosophy, Vol. 58 (pp 20-27)

Article | https://doi.org/10.1080/0020174X.2015.978531 | UvA-DARE

Väänänen, J. (2015) Second-order logic and set theory.

Philosophy Compass, Vol. 10 (pp 463-478)

Article | https://doi.org/10.1111/phc3.12229 | UvA-DARE

Väänänen, J. (2015) Pursuing logic without borders.

In Hirvonen, Å. Kontinen, J. Kossak, R. Villaveces, A. (Eds.), Logic without borders: essays on set theory, model theory, philosophical logic, and philosophy of mathematics (pp 403-416) (Ontos Mathematical Logic). De Gruyter.

Väänänen, J. (2016) In Memoriam: Jaakko Hintikka.

Arkhimedes, Vol. 2016 (pp 32-35)

Article | https://www.doria.fi/handle/10024/126158 | UvA-DARE

Väänänen, J. (2016) Grelling on dependence.

In Abramsky, S. Kontinen, J. Väänänen, J. Vollmer, H. (Eds.), Dependence Logic: Theory and Applications (pp 33-52). Birkhäuser.

Väänänen, J.A. Grädel, E. (2012) Dependence, Independence, and Incomplete Information.

In Proceedings of 15th International Conference on Database Theory, ICDT 2012. ICDT.

Vaananen, J.A. Shelah, S. (2006) Recursive Logic Frames.

Mathematical Logic Quarterly, Vol. 52

Article | UvA-DARE

Vaananen, J.A. Stoltenberg-Hansen, V. (2006) Logic Colloquium '03: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic.

Lecture Notes in Logic. Association for Symbolic Logic.

Book (Editorship) | UvA-DARE

Väänänen, J.A. Trottenberg, U (2008) Maths for Everyday Life.

ERCIM News. ERCIM.

Book (Editorship) | UvA-DARE