Juha Kontinen
Juha Kontinen
Professor, University of Helsinki, Finland
Vahvistettu sähköpostiosoite verkkotunnuksessa helsinki.fi - Kotisivu
NimikeViittauksetVuosi
On definability in dependence logic
J Kontinen, J Väänänen
Journal of Logic, Language and Information 18 (3), 317-332, 2009
682009
Hierarchies in dependence logic
A Durand, J Kontinen
ACM Transactions on Computational Logic (TOCL) 13 (4), 31, 2012
402012
Axiomatizing first-order consequences in dependence logic
J Kontinen, J Väänänen
Annals of Pure and Applied logic 164 (11), 1101-1117, 2013
352013
Modal independence logic
J Kontinen, JS Müller, H Schnoor, H Vollmer
Journal of Logic and Computation 27 (5), 1333-1352, 2017
322017
Independence in database relations
J Kontinen, S Link, J Väänänen
International Workshop on Logic, Language, Information, and Computation, 179-193, 2013
292013
Hierarchies in independence logic
P Galliani, M Hannula, J Kontinen
arXiv preprint arXiv:1304.4391, 2013
282013
A van Benthem theorem for modal team semantics
J Kontinen, JS Müller, H Schnoor, H Vollmer
arXiv preprint arXiv:1410.6648, 2014
262014
A remark on negation in dependence logic
J Kontinen, J Väänänen
Notre Dame Journal of Formal Logic 52 (1), 55-65, 2011
252011
Team logic and second-order logic
J Kontinen, V Nurmi
International Workshop on Logic, Language, Information, and Computation, 230-241, 2009
252009
A finite axiomatization of conditional independence and inclusion dependencies
M Hannula, J Kontinen
Information and Computation 249, 121-137, 2016
242016
Complexity of two-variable dependence logic and IF-logic
J Kontinen, A Kuusisto, P Lohmann, J Virtema
Information and Computation 239, 237-253, 2014
202014
A remark on collective quantification
J Kontinen, J Szymanik
Journal of Logic, Language and Information 17 (2), 131-140, 2008
202008
Expressivity and complexity of dependence logic
A Durand, J Kontinen, H Vollmer
Dependence Logic: Theory and Applications., 2016
192016
Complexity of propositional independence and inclusion logic
M Hannula, J Kontinen, J Virtema, H Vollmer
International Symposium on Mathematical Foundations of Computer Science, 269-280, 2015
192015
Approximation and dependence via multiteam semantics
A Durand, M Hannula, J Kontinen, A Meier, J Virtema
Annals of Mathematics and Artificial Intelligence 83 (3-4), 297-320, 2018
152018
On quantified propositional logics and the exponential time hierarchy
M Hannula, J Kontinen, M Lück, J Virtema
arXiv preprint arXiv:1609.04097, 2016
142016
On the finite and general implication problems of independence atoms and keys
M Hannula, J Kontinen, S Link
Journal of Computer and System Sciences 82 (5), 856-877, 2016
142016
Team logic and second-order logic
J Kontinen, V Nurmi
Fundamenta Informaticae 106 (2-4), 259-272, 2011
142011
Characterizing quantifier extensions of dependence logic
F Engström, J Kontinen
The Journal of Symbolic Logic 78 (1), 307-316, 2013
132013
Definability of second order generalized quantifiers
J Kontinen
Archive for Mathematical Logic 49 (3), 379-398, 2010
122010
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20