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
Article
2019

A Logical Approach to Context-Specific Independence

Corander, J., Hyttinen, A., Kontinen, J., Pensar, J. & Väänänen, J., Sep 2019, In : Annals of Pure and Applied Logic. 170, 9, p. 975-992 18 p.

Research output: Contribution to journalArticleScientificpeer-review

2018

Approximation and dependence via multiteam semantics

Durand, A., Hannula, M., Kontinen, J., Meier, A. & Virtema, J., Aug 2018, In : Annals of Mathematics and Artificial Intelligence. 83, 3-4, p. 297-320 24 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File

Complexity of Propositional Logics in Team Semantic

Hannula, M., Kontinen, J., Virtema, J. & Vollmer, H., Feb 2018, In : ACM Transactions on Computational Logic. 19, 1, 14 p., 2.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
2017

Dependence logic with generalized quantifiers: Axiomatizations

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

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File

Modal Independence Logic

Kontinen, J., Müller, J-S., Schnoor, H. & Vollmer, H., 2017, In : Journal of Logic and Computation. 27, 5, p. 1333–1352 20 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
2016

A finite axiomatization of conditional independence and inclusion dependencies

Hannula, M. & Kontinen, J., Aug 2016, In : Information and Computation. 249, p. 121 - 137 17 p.

Research output: Contribution to journalArticleScientificpeer-review

Decidability of predicate logics with team semantics

Kontinen, J. A., Virtema, J. T. & Kuusisto, A., 2016, In : Leibniz international proceedings in informatics. 58, p. 60:1-60:14 14 p., 60.

Research output: Contribution to journalArticleScientificpeer-review

On the finite and general implication problems of independence atoms and keys

Hannula, M., Kontinen, J. & Link, S., Aug 2016, In : Journal of Computer and System Sciences. 82, 5, p. 856-877 22 p.

Research output: Contribution to journalArticleScientificpeer-review

2015

Dependence Logic with a Majority Quantifier

Durand, A., Ebbing, J., Kontinen, J. & Vollmer, H., 2015, In : Journal of Logic, Language and Information. 24, 3, p. 289-305 17 p.

Research output: Contribution to journalArticleScientificpeer-review

Hierarchies in independence and inclusion logic with strict semantics

Hannula, M. & Kontinen, J., Jun 2015, In : Journal of Logic and Computation. 25, 3, p. 879-897 19 p.

Research output: Contribution to journalArticleScientificpeer-review

2014

A characterization of definability of second-order generalized quantifiers with applications to non-definability

Kontinen, J. & Szymanik, J., Sep 2014, In : Journal of Computer and System Sciences. 80, 6, p. 1152-1162 11 p.

Research output: Contribution to journalArticleScientificpeer-review

A Fragment of Dependence Logic Capturing Polynomial Time

Ebbing, J., Kontinen, J., Müller, J-S. & Vollmer, H., 2014, In : Logical Methods in Computer Science. 10, 3, p. Paper 3 13 p.

Research output: Contribution to journalArticleScientificpeer-review

Complexity of two-variable dependence logic and IF-logic

Kontinen, J., Kuusisto, A., Lohmann, P. & Virtema, J., 2014, In : Information and Computation. 239, p. 237-253 17 p.

Research output: Contribution to journalArticleScientificpeer-review

2013

Axiomatizing first-order consequences in dependence logic

Kontinen, J. & Väänänen, J., Nov 2013, In : Annals of Pure and Applied Logic. 164, 11, p. 1101-1117 17 p.

Research output: Contribution to journalArticleScientificpeer-review

Characterizing Quantifier Extensions of Dependence Logic

Engström, F. & Kontinen, J., 2013, In : Journal of Symbolic Logic. 78, 1, p. 307-316 10 p.

Research output: Contribution to journalArticleScientificpeer-review

Dependence Logic: A survey of some recent work

Kontinen, J., 2013, In : Philosophy Compass. 8, 10, p. 950-963 14 p.

Research output: Contribution to journalArticleScientificpeer-review

Editorial Introduction: Special Issue Dependence and Independence in Logic

Kontinen, J., Väänänen, J. & Westerståhl, D., Apr 2013, In : Studia Logica. 101, 2, p. 233-236 4 p.

Research output: Contribution to journalArticleScientific

2012

Hierarchies in Dependence Logic

Durand, A. & Kontinen, J., Oct 2012, In : ACM Transactions on Computational Logic. 13, 4, 21 p.

Research output: Contribution to journalArticleScientificpeer-review

2011

A Remark on Negation in Dependence Logic

Kontinen, J. & Väänänen, J., 2011, In : Notre Dame Journal of Formal Logic. 52, 1, p. 55-65 11 p.

Research output: Contribution to journalArticleScientificpeer-review

Erratum to: On Definability in Dependence Logic

Kontinen, J. & Väänänen, J. A., 2011, In : Journal of Logic, Language and Information. 20, 1, p. 133-134 2 p.

Research output: Contribution to journalArticleScientific

Extensions of MSO and the monadic counting hierarchy

Kontinen, J. & Niemistö, H., Jan 2011, In : Information and Computation. 209, 1, p. 1-19 19 p.

Research output: Contribution to journalArticleScientificpeer-review

Team logic and second-order logic

Kontinen, J. & Nurmi, V., 2011, In : Fundamenta Informaticae. 106, 2-4, p. 259-272 14 p.

Research output: Contribution to journalArticleScientificpeer-review

2010

Definability of second order generalized quantifiers

Kontinen, J., 9 Feb 2010, In : Archive for Mathematical Logic. 49, 3 , p. 379-398 20 p.

Research output: Contribution to journalArticleScientificpeer-review

On Second-Order Monadic Monoidal and Groupoidal Quantifiers

Kontinen, J. & Vollmer, H., 2010, In : Logical Methods in Computer Science. 6, 3:25, p. 1-22

Research output: Contribution to journalArticleScientificpeer-review

2009

A logical characterization of the counting hierarchy

Kontinen, J., 2009, In : ACM Transactions on Computational Logic. 10, 1, 21 p.

Research output: Contribution to journalArticleScientificpeer-review

On definability in dependence logic

Kontinen, J. & Väänänen, J., 2009, In : Journal of Logic, Language and Information. 18, 3, p. 317-332 16 p.

Research output: Contribution to journalArticleScientificpeer-review

2008

A remark on collective quantification

Kontinen, J. & Szymanik, J., 2008, In : Journal of Logic, Language and Information. 17, 2, p. 131-140 10 p.

Research output: Contribution to journalArticleScientificpeer-review

2006

The hierarchy theorem for second order generalized quantifiers

Kontinen, J., 2006, In : Journal of Symbolic Logic. 71, 1, p. 188-202 15 p.

Research output: Contribution to journalArticleScientificpeer-review