| On definability in dependence logic J Kontinen, J Väänänen Journal of Logic, Language and Information 18, 317-332, 2009 | 105 | 2009 |
| Axiomatizing first-order consequences in dependence logic J Kontinen, J Väänänen Annals of Pure and Applied logic 164 (11), 1101-1117, 2013 | 51 | 2013 |
| 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 | 49 | 2018 |
| Hierarchies in dependence logic A Durand, J Kontinen ACM Transactions on Computational Logic (TOCL) 13 (4), 1-21, 2012 | 47 | 2012 |
| A finite axiomatization of conditional independence and inclusion dependencies M Hannula, J Kontinen Information and Computation 249, 121-137, 2016 | 46 | 2016 |
| Probabilistic team semantics A Durand, M Hannula, J Kontinen, A Meier, J Virtema Foundations of Information and Knowledge Systems: 10th International …, 2018 | 44 | 2018 |
| Modal independence logic J Kontinen, JS Müller, H Schnoor, H Vollmer Journal of Logic and Computation 27 (5), 1333-1352, 2017 | 44 | 2017 |
| A van Benthem theorem for modal team semantics J Kontinen, JS Müller, H Schnoor, H Vollmer arXiv preprint arXiv:1410.6648, 2014 | 44 | 2014 |
| Hierarchies in independence logic P Galliani, M Hannula, J Kontinen arXiv preprint arXiv:1304.4391, 2013 | 40 | 2013 |
| Complexity of propositional logics in team semantics M Hannula, J Kontinen, J Virtema, H Vollmer ACM Transactions on Computational Logic 19 (1), 2018 | 39 | 2018 |
| A remark on negation in dependence logic J Kontinen, J Väänänen | 39 | 2011 |
| 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 | 36 | 2019 |
| Independence in database relations J Kontinen, S Link, J Väänänen International Workshop on Logic, Language, Information, and Computation, 179-193, 2013 | 35 | 2013 |
| Facets of distribution identities in probabilistic team semantics M Hannula, Å Hirvonen, J Kontinen, V Kulikov, J Virtema European Conference on Logics in Artificial Intelligence, 304-320, 2019 | 34 | 2019 |
| Team logic and second-order logic J Kontinen, V Nurmi International Workshop on Logic, Language, Information, and Computation, 230-241, 2009 | 34 | 2009 |
| Expressivity and complexity of dependence logic A Durand, J Kontinen, H Vollmer Dependence Logic: Theory and Applications., 2016 | 30 | 2016 |
| Descriptive complexity of real computation and probabilistic independence logic M Hannula, J Kontinen, J Van den Bussche, J Virtema Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020 | 26 | 2020 |
| Team logic and second-order logic J Kontinen, V Nurmi Fundamenta Informaticae 106 (2-4), 259-272, 2011 | 26 | 2011 |
| Complexity of two-variable dependence logic and IF-logic J Kontinen, A Kuusisto, P Lohmann, J Virtema Information and Computation 239, 237-253, 2014 | 25 | 2014 |
| 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 | 24 | 2015 |
Miika HannulaUniversity of HelsinkiVerifisert e-postadresse på helsinki.fi
