Photo of Juha Kontinen
  • Finland

  • PL 68 (Pietari Kalmin katu 5)

    00014

    Finland

20022021
If you made any changes in Pure these will be visible here soon.

Publications 2002 2019

Filter
Chapter
2017

Computational Aspects of Logics in Team Semantics (Tutorial)

Kontinen, J., 2017, 34th Symposium on Theoretical Aspects of Computer Science (STACS 2017). Vollmer, H. & Vallée, B. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 66. p. 1:1-1:1 1 p. 1. (Leibniz international proceedings in informatics; vol. 66).

Research output: Chapter in Book/Report/Conference proceedingChapterScientific

Open Access
File
2016

Expressivity and Complexity of Dependence Logic

Durand, A., Kontinen, J. & Vollmer, H., Jun 2016, Dependence Logic: Theory and Applications. Abramsky, S., Kontinen, J., Väänänen, J. & Vollmer, H. (eds.). Cham: Springer International Publishing AG, p. 5-32 28 p.

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

2015

On Natural Deduction in Dependence Logic

Kontinen, J., 2015, Logic Without Borders: Essays on set theory, model theory, philosophical logic and philosophy of mathematics. de Gruyter, (Ontos Mathematical Logic; no. 5).

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

2012

Characterizing Definability of Second-Order Generalized Quantifiers

Kontinen, J. & Szymanik, J., 23 Jul 2012, Logic and Interactive Rationality : LIRa Yearbook 2011. Baltag, A., Grossi, D., Marcoci, A., Rodenhauser, B. & Smets, S. (eds.). Amsterdam: Logic and Interactive Rationality, p. 231-252 23 p.

Research output: Chapter in Book/Report/Conference proceedingChapterScientific

2009

Team logic and second-order logic

Kontinen, J. & Nurmi, V., 2009, Logic, language, information and computation: Hiroakira Ono, Makoto Kanazawa, Ruy de Queiroz (eds.). Berlin: Springer, p. 230-241 12 p. (Lecture notes in computer science).

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