Valokuva Jouko Väänänen

Jouko Väänänen

  • PL 68 (Pietari Kalmin katu 5)

    00014

    Suomi

1973 …2020

Tutkimustuotoksia vuodessa

Jos olet muokannut tietoja Puressa, ne näkyvät pian tässä.

Julkaisut

Suodatin
Kirjan luku tai artikkeli
2020

Diversity, Dependence and Independence

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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

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 Sivumäärä (Preprint Series).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

Set-Theoretic Definability of Logics

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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

The Logic of Approximate Dependence

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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

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. (toim.). Basel: Birkhäuser, 20 Sivumäärä ( Progress in Computer Science and Applied Logic).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

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. (toim.). de Gruyter, s. 403-416 14 Sivumäärä

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliAmmatillinen

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. (toim.). de Gruyter, s. 193-214 22 Sivumäärä (Ontos Mathematical Logic; Vuosikerta 5).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

Tiedosto
2014

Multiverse set theory and absolutely undecidable propositions

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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

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. (toim.). Cham: Springer International Publishing AG, s. 101-119 19 Sivumäärä (Outstanding contributions to logic; Vuosikerta 5).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

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, s. 152-156

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

2012

Lindström's Theorem

Väänänen, J., 2012, Universal Logic: An Anthology. Beziau, J-Y. (toim.). Springer-Verlag, s. 231-236 6 Sivumäärä

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

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. (toim.). Dordrecht: Springer-Verlag

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

2010

How I became a logician

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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinen

2008

Modal dependence logic

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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

2007

On infinite Ehrenfeucht-Fraïssé games

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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

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. (toim.). Basel: Birkhäuser, s. 19-33 15 Sivumäärä

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

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., s. 111-136 26 Sivumäärä

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

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. (toim.). Aracne Editrice, Vuosikerta 17. s. 111-136 25 Sivumäärä (Quaderni di Matematica).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

Entry on Jaakko Hintikka

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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

Onko matemaattinen totuus suhteellista vai absoluuttista?

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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu