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
Conference contribution
2017

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. (eds.). London: College publications, 24 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

2016

A Logical Approach to Context-Specific Independence

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

2015

Tractability Frontier of Data Complexity in Team Semantics

Durand, A., Kontinen, J., de Rugy-Altherre, N. & Väänänen, J., 2015, Unknown host publication. Esparza, J. & Tronci, E. (eds.). p. 73-85 13 p. (Electronic Proceedings in Theoretical Computer Science; vol. 193).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

2013

Breaking the atom with Samson

Väänänen, J., 2013, Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. Coecke, B., Ong, L. & Panangaden, P. (eds.). Springer-Verlag, p. 327-335 (Lecture Notes in Computer Science; vol. 7860).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Dependence Logic with Generalized Quantifiers: Axiomatizations

Engström, F., Kontinen, J. & Väänänen, J., 2013, Logic, Language, Information, and Computation. Libkin, L., Kohlenbach, U. & Queiroz, R. (eds.). Springer, p. 138-152 15 p. (Lecture Notes in Computer Science; vol. 8071).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Independence in Database Relations

Kontinen, J., Link, S. & Väänänen, J., 2013, Logic, Language, Information, and Computation. Libkin, L., Kohlenbach, U. & Queiroz, R. (eds.). Springer, p. 179-193 15 p. (Lecture Notes in Computer Science; vol. 8071).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Sort logic and foundations of mathematics

Väänänen, J., 2013, Infinity and Truth: Lecture Notes Series of the Institute for Mathematical Sciences, National University of Singapore. World Scientific, Vol. 25. p. 171-186 (Lecture Notes Series; vol. 25).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

2012

Dependence, Independence, and Incomplete Information

Väänänen, J. & Grädel, E., 2012, Proceedings of 15th International Conference on Database Theory, ICDT 2012.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

2007

Lindström theorems for fragments of first-order logic

ten Cate, B., van Benthem, J. & Väänänen, J., 2007, 22nd Annual IEEE Symposium on Logic in Computer Science. O'Conner, L. (ed.). IEEE Computer Society, p. 280-292 13 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Team logic

Väänänen, J., 2007, Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London. van Benthem, J., Gabbay, D. & Löwe, B. (eds.). Amsterdam University Press, p. 281-302 22 p. (Texts in Logic and Games; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

1979

Abstract logic and set theory, I: Definability

Väänänen, J., 1979, Logic Colloquium '78. Boffa, M., van Dalen, D. & McAloon, K. (eds.). North-Holland, p. 391-421

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

1978

Remarks on free quantifier variables

Väänänen, J., 1978, Essays on mathematical and philosophical logic. Hintikka, J., Niiniluoto, I. & Saarinen, E. (eds.). Reidel, p. 267-272

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific