Jouko Väänänen

Julkaisut

Tutkimustuotoksia vuodessa 1973 2005 2013 2015 2016 2017 2025

• 75 Artikkeli
• 24 Kirjan luku tai artikkeli
• 12 Konferenssiartikkeli
• 6 Kokoomateos tai erikoisnumero
• 14 Muut aineistot
  • 4 Kirja
  • 3 Tutkimusraportti
  • 3 Katsausartikkeli
  • 2 Ensyklopedia-artikkeli
  • 1 Pääkirjoitus
  • 1 Työpaperi

Tutkimustuotoksia vuodessa

Tutkimustuotoksia vuodessa

Hakutulokset

• 2025

  Inner Models from Extended Logics: Part 2

  Kennedy, J., Magidor, M. & Väänänen, J., 14 tammik. 2025, (Hyväksytty/In press) julkaisussa: Journal of Mathematical Logic. https://arxiv.org/pdf/2007.10766.pdf.

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen

• On the categoricity of complete second order theories

  Saarinen, T., Väänänen, J. & Woodin, H., 11 huhtik. 2025, (Hyväksytty/In press) julkaisussa: Journal of Symbolic Logic.

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
• 2024

  Bounded symbiosis and upwards reflection

  Galeotti, L., Khomskii, Y. & Väänänen, J., 23 jouluk. 2024, julkaisussa: Archive for Mathematical Logic. 25 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

• Dimension in team semantics

  Hella, L., Luosto, K. & Väänänen, J., 12 maalisk. 2024, julkaisussa: Mathematical structures in computer science. 45 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• How first order is first order logic?

  Kennedy, J. & Väänänen, J., 2024, (Hyväksytty/In press) The Oxford Handbook of Philosophy of Logic. Brendel, E., Carrara, M., Ferrari , F., Hjortland, O., Sagi, G., Sher, G. & Steinberger, F. (toim.). Oxford University Press

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Kirjan luku tai artikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

• Modular SAT-based techniques for reasoning tasks in team semantics

  Durand, A., Kontinen, J. & Väänänen, J., 2024, julkaisussa: Journal of Computer and System Sciences. 146, 18 Sivumäärä, 103575.

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

• The Liar Paradox and the three logics framework

  Kennedy, J. & Väänänen, J., 2024, (Hyväksytty/In press) The Liar Paradox: Classic Philosophical Arguments series. Rossi, L. (toim.). Cambridge University Press

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Kirjan luku tai artikkeli › Tieteellinen › vertaisarvioitu

• 2023

  Model theory of second order logic

  Väänänen, J., 3 heinäk. 2023, Beyond First Order Model Theory, Volume 2. Iovino, J. (toim.). New York: CRC press, s. 289-304 16 Sivumäärä

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Kirjan luku tai artikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

• Philosophical Uses of Categoricity Arguments

  Maddy, P. & Väänänen, J., jouluk. 2023, Cambridge University Press. ( Elements)

  Tutkimustuotos: Kirja/raportti › Kirja › Tieteellinen › vertaisarvioitu

• Positive logics

  Shelah, S. & Väänänen, J., helmik. 2023, julkaisussa: Archive for Mathematical Logic. 62, 1-2, s. 207–223 17 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

• The strategic balance of games in logic

  Väänänen, J., elok. 2023, Samson Abramsky on Logic and Structure in Computer Science and Beyond. Palmigiano, A. & Sadrzadeh, M. (toim.). Springer , Vuosikerta 25. s. 755-770 16 Sivumäärä (Outstanding Contributions to Logic).

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Kirjan luku tai artikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

• When cardinals determine the power set: inner models and Hartig quantifier logic

  Väänänen, J. & Welch, P. D., 11 syysk. 2023, julkaisussa: Mathematical Logic Quarterly. 69, 4, s. 460-471 12 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto
• 2022

  An atom's worth of anonymity

  Väänänen, J., marrask. 2022, julkaisussa: Logic journal of the IGPL. 31, 6, s. 1078–1083 jzac074.

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

• Diversity, dependence and independence

  Galliani, P. & Vaananen, J., maalisk. 2022, julkaisussa: Annals of Mathematics and Artificial Intelligence. 90, 2-3, s. 211–233 23 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

• Lenguaje, teorías y modelos

  Väänänen, J. & Villaveces, A., 2022, 2022 toim. Buenos Aires: EUDEBA. 182 Sivumäärä

  Tutkimustuotos: Kirja/raportti › Kirja › Tieteellinen › vertaisarvioitu

• Tractability Frontier of Data Complexity in Team Semantics

  Durand, A., Kontinen, J., de Rugy-Altherre, N. & Väänänen, J., tammik. 2022, julkaisussa: ACM Transactions on Computational Logic. 23, 1, s. 1-21 21 Sivumäärä, 3.

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto
• 2021

  An overview of Saharon Shelah's contributions to mathematical logic, in particular to model theory

  Väänänen, J., 29 huhtik. 2021, julkaisussa: Theoria . 87, 2, s. 349–360

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

• Chain logic and Shelah’s infinitary logic

  Dzamonja, M. & Väänänen, J., lokak. 2021, julkaisussa: Israel Journal of Mathematics. 245, 1, s. 93-134 42 Sivumäärä, 107654.

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

• Inner Models from Extended Logics: Part 1

  Kennedy, J., Magidor, M. & Väänänen, J., elok. 2021, julkaisussa: Journal of Mathematical Logic. 21, 02, 53 Sivumäärä, 2150012.

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

  Tiedosto

• LOGICALITY AND MODEL CLASSES

  Kennedy, J. & Vaananen, J., jouluk. 2021, julkaisussa: Bulletin of Symbolic Logic. 27, 4, s. 385-414 30 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• Team Semantics and Independence Notions in Quantum Physics

  Väänänen, J., Puljujärvi, J. J. O. & Abramsky, S., 2021, (Jätetty).

  Tutkimustuotos: Työpaperi › Tieteellinen

• Tracing internal categoricity

  Väänänen, J., elok. 2021, julkaisussa: Theoria. 87, 4, s. 986-1000 15 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto
• 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/konferenssijulkaisussa › Kirjan luku tai artikkeli › Tieteellinen › vertaisarvioitu

• Proceedings of Workshop on Logics of Dependence and Independence (LoDE 2020V)

  Väänänen, J. (Toimittaja) & Yang, F. (Toimittaja), 2020, University of Helsinki. 58 Sivumäärä (Acta Generalia Instituti Mathematico-Rationarii)

  Tutkimustuotos: Kirja/raportti › Tutkimusraportti

  Open access
• 2019

  23rd Workshop on Logic, Language, Information and Computation - WoLLIC 2016: Preface

  Väänänen, J. & de Queiroz, R. J. G. B., syysk. 2019, julkaisussa: Annals of Pure and Applied Logic. 170, 9, s. 921-922 2 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Pääkirjoitus › Tieteellinen

• A Logical Approach to Context-Specific Independence

  Corander, J., Hyttinen, A., Kontinen, J., Pensar, J. & Väänänen, J., syysk. 2019, julkaisussa: Annals of Pure and Applied Logic. 170, 9, s. 975-992 18 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

• AN EXTENSION OF A THEOREM OF ZERMELO

  Vaananen, J., kesäk. 2019, julkaisussa: Bulletin of Symbolic Logic. 25, 2, s. 208-212 5 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

• Logic and Games

  Hodges, W. & Väänänen, J., 2019, Stanford Encyclopedia of Philosophy. Nala, E. N. (toim.). Fall 2019 toim. Metaphysics Research Lab, Stanford, (The Stanford Encyclopedia of Philosophy).

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Ensyklopedia-artikkeli › Tieteellinen › vertaisarvioitu

  Open access

• Second-order and higher-order logic

  Väänänen, J. A., 1 elok. 2019, Stanford Encyclopedia of Philosophy. Zalta, E. N. (toim.). Metaphysics Research Lab, Stanford, (Stanford encyclopedia of philosophy).

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Ensyklopedia-artikkeli › Tieteellinen › vertaisarvioitu

  Open access
• 2018

  Logic colloquium 2015 proceedings: Preface

  Hirvonen, Å. (Toimittaja), Scanlon, T. (Toimittaja), Väänänen, J. (Toimittaja) & Westerståhl, D. (Toimittaja), jouluk. 2018, Elsevier. 1243 Sivumäärä (Annals of Pure and Applied Logic; Vuosikerta 169, nro 12)

  Tutkimustuotos: Kirja/raportti › Kokoomateos tai erikoisnumero › Tieteellinen › vertaisarvioitu
• 2017

  A dichotomy theorem for the generalized Baire space and elementary embeddability at uncountable cardinals

  Sziraki, D. & Väänänen, J., 2017, julkaisussa: Fundamenta Mathematicae. 238, 1, s. 53-78 26 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• A logic for arguing about probabilities in measure teams

  Hyttinen, T., Paolini, G. & Väänänen, J., elok. 2017, julkaisussa: Archive for Mathematical Logic. 56, 5-6, s. 475-489 15 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

• Dependence logic with generalized quantifiers: Axiomatizations

  Engström, F., Kontinen, J. & Väänänen, J., 2017, julkaisussa: Journal of Computer and System Sciences. 88, s. 90-102 13 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

• 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/konferenssijulkaisussa › Kirjan luku tai artikkeli › Tieteellinen › vertaisarvioitu

• Kansainvälisyys vahvistaa yliopistoa: Yliopisto on sitoutunut turvaamaan opiskelijoidensa kielelliset oikeudet sekä kotimaisten kielten aseman opetuksessa

  Väänänen, J. A., 19 maalisk. 2017, julkaisussa: Helsingin Sanomat.

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Yleistajuinen

• Propositional team logics

  Yang, F. & Väänänen, J., heinäk. 2017, julkaisussa: Annals of Pure and Applied Logic. 168, 7, s. 1406-1441 36 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• 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/konferenssijulkaisussa › Kirjan luku tai artikkeli › Tieteellinen › vertaisarvioitu

• Squeezing Arguments and Strong Logics

  Kennedy, J. & Väänänen, J., 2017, Logic, Methodology and Philosophy of Science: Proceedings of the Fifteenth International Congress. Leitgeb, H., Niiniluoto, I., Seppälä, P. & Sober, E. (toim.). London: College publications, 24 Sivumäärä

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen

• 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/konferenssijulkaisussa › Kirjan luku tai artikkeli › Tieteellinen › vertaisarvioitu
• 2016

  A Logical Approach to Context-Specific Independence

  Corander, J., Hyttinen, A., Kontinen, J., Pensar, J. & Väänänen, J., elok. 2016, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Berlin: Springer-Verlag, s. 165-182 18 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 9803).

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

• Dependence Logic: Theory and Applications

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

  Tutkimustuotos: Kirja/raportti › Kokoomateos tai erikoisnumero › Tieteellinen › vertaisarvioitu

• Dependence Logic in Pregeometries and ω-Stable Theories

  Paolini, G. & Väänänen, J., maalisk. 2016, julkaisussa: Journal of Symbolic Logic. 81, 1, s. 32-55 24 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• 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/konferenssijulkaisussa › Kirjan luku tai artikkeli › Tieteellinen › vertaisarvioitu

• In Memoriam : Jaakko Hintikka.

  Väänänen, J. A., 2016, julkaisussa: Arkhimedes. 2016, 1, s. 32-35

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen

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

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

  Tutkimustuotos: Kirja/raportti › Kokoomateos tai erikoisnumero › Tieteellinen › vertaisarvioitu

• On the symbiosis between model-theoretic and set-theoretic properties of large cardinals

  Bagaria, J. & Väänänen, J., kesäk. 2016, julkaisussa: Journal of Symbolic Logic. 81, 2, s. 584-604 21 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• Propositional Logics of Dependence

  Yang, F. & Väänänen, J., 2016, julkaisussa: Annals of Pure and Applied Logic. 167, 7, s. 557-589 33 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
• 2015

  Aesthetics and the Dream of Objectivity: Notes from Set Theory

  Kennedy, J. & Väänänen, J., 2 tammik. 2015, julkaisussa: Inquiry. 58, 1, s. 83-98 16 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• Boolean-Valued Second-Order Logic

  Ikegami, D. & Väänänen, J., 2015, julkaisussa: Notre Dame Journal of Formal Logic. 56, 1, s. 167-190 24 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• Categoricity and Consistency in Second-Order Logic

  Väänänen, J., 2 tammik. 2015, julkaisussa: Inquiry. 58, 1, s. 20-27 8 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu