Juha Kontinen

On Definability in Dependence Logic

Juha Kontinen, Jouko Väänánen · Journal of Logic Language and Information · 2009 · 71 citations

Humanities, Mathematics, Formal Methods +6

A finite axiomatization of conditional independence and inclusion dependencies

Miika Hannula, Juha Kontinen · Information and Computation · 2016 · 38 citations

Natural Sciences, Mathematics, Set Theory +8

Hierarchies in Dependence Logic

Arnaud Durand, Juha Kontinen · ACM Transactions on Computational Logic · 2012 · 37 citations

Humanities, Mathematics, Formal Methods +5

Axiomatizing first-order consequences in dependence logic

Juha Kontinen, Jouko Väänánen · Annals of Pure and Applied Logic · 2013 · 36 citations

Humanities, Mathematics, Knowledge Representation +10

Complexity of Propositional Logics in Team Semantic

Miika Hannula, Juha Kontinen, Jonni Virtema et al. · ACM Transactions on Computational Logic · 2018 · 27 citations

Computing, Computer Science, Mathematics +13