Follow
Juha Kontinen
Juha Kontinen
Professor, University of Helsinki, Finland
Verified email at helsinki.fi - Homepage
Title
Cited by
Cited by
Year
On definability in dependence logic
J Kontinen, J Väänänen
Journal of Logic, Language and Information 18, 317-332, 2009
962009
Hierarchies in dependence logic
A Durand, J Kontinen
ACM Transactions on Computational Logic (TOCL) 13 (4), 1-21, 2012
502012
Axiomatizing first-order consequences in dependence logic
J Kontinen, J Väänänen
Annals of Pure and Applied logic 164 (11), 1101-1117, 2013
422013
Hierarchies in independence logic
P Galliani, M Hannula, J Kontinen
arXiv preprint arXiv:1304.4391, 2013
402013
Modal independence logic
J Kontinen, JS Müller, H Schnoor, H Vollmer
Journal of Logic and Computation 27 (5), 1333-1352, 2017
372017
A finite axiomatization of conditional independence and inclusion dependencies
M Hannula, J Kontinen
Information and Computation 249, 121-137, 2016
372016
A van Benthem theorem for modal team semantics
J Kontinen, JS Müller, H Schnoor, H Vollmer
arXiv preprint arXiv:1410.6648, 2014
352014
Approximation and dependence via multiteam semantics
A Durand, M Hannula, J Kontinen, A Meier, J Virtema
Annals of Mathematics and Artificial Intelligence 83, 297-320, 2018
332018
Independence in database relations
J Kontinen, S Link, J Väänänen
Logic, Language, Information, and Computation: 20th International Workshop …, 2013
322013
Complexity of propositional logics in team semantics
M Hannula, J Kontinen, J Virtema, H Vollmer
ACM Transactions on Computational Logic 19 (1), 2018
312018
A remark on negation in dependence logic
J Kontinen, J Väänänen
312011
Probabilistic team semantics
A Durand, M Hannula, J Kontinen, A Meier, J Virtema
Foundations of Information and Knowledge Systems: 10th International …, 2018
302018
Team logic and second-order logic
J Kontinen, V Nurmi
Logic, Language, Information and Computation: 16th International Workshop …, 2009
302009
Facets of distribution identities in probabilistic team semantics
M Hannula, Å Hirvonen, J Kontinen, V Kulikov, J Virtema
Logics in Artificial Intelligence: 16th European Conference, JELIA 2019 …, 2019
262019
Complexity of two-variable dependence logic and IF-logic
J Kontinen, A Kuusisto, P Lohmann, J Virtema
Information and Computation 239, 237-253, 2014
262014
A logical approach to context-specific independence
J Corander, A Hyttinen, J Kontinen, J Pensar, J Väänänen
Annals of Pure and Applied Logic 170 (9), 975-992, 2019
252019
Expressivity and complexity of dependence logic
A Durand, J Kontinen, H Vollmer
Dependence Logic: Theory and Applications., 2016
232016
Complexity of propositional independence and inclusion logic
M Hannula, J Kontinen, J Virtema, H Vollmer
Mathematical Foundations of Computer Science 2015: 40th International …, 2015
222015
Dependence Logic: Theory and Applications
S Abramsky, J Kontinen, J Väänänen, H Vollmer
Birkhäuser, 2016
202016
Team logic and second-order logic
J Kontinen, V Nurmi
Fundamenta Informaticae 106 (2-4), 259-272, 2011
202011
The system can't perform the operation now. Try again later.
Articles 1–20