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
Chapter
2020

Diversity, Dependence and Independence

Galliani, P. & Väänänen, J., 2020, Foundations of Information and Knowledge Systems. Herzig, A. & Kontinen, J. (eds.). University of Helsinki, Vol. 12012. p. 106-121 16 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

2017

Inner Models from Extended Logics

Kennedy, J., Magidor, M. & Väänänen, J., 2017, Isaac Newton Institute Preprint Series. Cambridge: Isaac Newton Institute for Mathematical Sciences, 75 p. (Preprint Series).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Set-Theoretic Definability of Logics

Väänänen, J., 2017, Model-Theoretic Logics. Barwise, J. & Feferman, S. (eds.). Cambridge University Press, p. 599–644 (Perspectives in Logic).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

The Logic of Approximate Dependence

Väänänen, J. A., 2017, Rohit Parikh on Logic, Language and Society. Basket, C., Moss, L. & Ramanujam, R. (eds.). Springer , Vol. 11. p. 227-234 (Outstanding Contributions to Logic; vol. 11).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

2016

Grelling on dependence

Väänänen, J. A., 2016, Dependence Logic: Theory and Applications. Abramsky, S., Kontinen, J., Väänänen, J. & Vollmer, H. (eds.). Basel: Birkhäuser, 20 p. ( Progress in Computer Science and Applied Logic).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

2015

Pursuing logic without borders

Väänänen, J., 2015, Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Hirvonen, Å., Kontinen, J., Kossak, R. & Villaveces, A. (eds.). de Gruyter, p. 403-416 14 p.

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

The size of a formula as a measure of complexity

Hella, L. & Väänänen, J., 2015, Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Hirvonen, Å., Kontinen, J., Kossak, R. & Villaveces, A. (eds.). de Gruyter, p. 193-214 22 p. (Ontos Mathematical Logic; vol. 5).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

File
2014

Multiverse set theory and absolutely undecidable propositions

Väänänen, J., 2014, Interpreting Gödel. Kennedy, J. (ed.). New York: Cambrigde University Press, p. 180-208

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

On dependence logic

Galliani, P. & Väänänen, J., 2014, Johan F. A. K. van Benthem on Logical and Informational Dynamics . Baltag, A. & Smets, S. (eds.). Cham: Springer International Publishing AG, p. 101-119 19 p. (Outstanding contributions to logic; vol. 5).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

2013

Comments on Abramsky

Väänänen, J., 2013, Logic Across the University: Foundations and Applications, Proceedings of the Tsinghua Logic Conference. London: College publications, p. 152-156

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

2012

Lindström's Theorem

Väänänen, J., 2012, Universal Logic: An Anthology. Beziau, J-Y. (ed.). Springer-Verlag, p. 231-236 6 p.

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Second order logic, set theory and foundations of mathematics

Väänänen, J., 2012, Epistemology versus Ontology: Essays of the Philosophy and Foundations of Mathematics in Honor of Per Martin-­‐Löf. Dybjer, P., Lindström, S., Palmgren, E. & Sundholm, G. (eds.). Dordrecht: Springer-Verlag

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

2010

How I became a logician

Väänänen, J., 2010, Miten meistä tuli filosofian tohtoreita?. Roinila, M. (ed.). Suomen filosofinen yhdistys

Research output: Chapter in Book/Report/Conference proceedingChapterScientific

2008

Modal dependence logic

Väänänen, J., 2008, New perspectives on games and interaction. Apt, K. R. & van Rooij, R. (eds.). Amsterdam: Amsterdam University Press, p. 237-254 18 p. (Texts in Logic and Games; vol. 4).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

2007

On infinite Ehrenfeucht-Fraïssé games

Väänänen, J., 2007, Foundations of the formal sciences V. London: College publications, p. 279-317 39 p.

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

2005

Abstract model theory as a framework for universal logic

Garcia-Matos, M. & Väänänen, J., 2005, Logica universalis: towards a general theory of logic. Beziau, J-Y. (ed.). Basel: Birkhäuser, p. 19-33 15 p.

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Applications of regular filters and square principles in model theory

Kennedy, J. & Väänänen, J., 2005, Set theory. Napoli: Aracne, Dipartimento di Matematica della Seconda Universita di Napoli cop., p. 111-136 26 p.

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Applications of Regular Filters and Square Principles in Model Theory

Kennedy, J. & Väänänen, J., 2005, Set theory: Recent trends and applications. Andretta, A. (ed.). Aracne Editrice, Vol. 17. p. 111-136 25 p. (Quaderni di Matematica).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Entry on Jaakko Hintikka

Väänänen, J., 2005, Encyclopedia of philosophy. Detroit: Thomson Gale/Macmillan Reference USA cop., p. 172-174 3 p.

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Onko matemaattinen totuus suhteellista vai absoluuttista?

Väänänen, J., 2005, Suhteellista?. Rydman, J. (ed.). Helsinki: Yliopistopaino ja Tieteellisten seurain valtuuskunta, p. 266-283 18 p.

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review