| A finite axiomatization of conditional independence and inclusion dependencies M Hannula, J Kontinen Information and Computation 249, 121-137, 2016 | 34 | 2016 |
| Hierarchies in independence logic P Galliani, M Hannula, J Kontinen arXiv preprint arXiv:1304.4391, 2013 | 32 | 2013 |
| Approximation and dependence via multiteam semantics A Durand, M Hannula, J Kontinen, A Meier, J Virtema Annals of Mathematics and Artificial Intelligence 83 (3), 297-320, 2018 | 25 | 2018 |
| Complexity of propositional logics in team semantic M Hannula, J Kontinen, J Virtema, H Vollmer ACM Transactions on Computational Logic (TOCL) 19 (1), 1-14, 2018 | 21 | 2018 |
| 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 | 21 | 2015 |
| Axiomatizing first-order consequences in independence logic M Hannula Annals of Pure and Applied Logic 166 (1), 61-91, 2015 | 20 | 2015 |
| On quantified propositional logics and the exponential time hierarchy M Hannula, J Kontinen, M Lück, J Virtema arXiv preprint arXiv:1609.04097, 2016 | 18 | 2016 |
| 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 | 16 | 2016 |
| Hierarchies in inclusion logic with lax semantics M Hannula Indian Conference on Logic and Its Applications, 100-118, 2015 | 16 | 2015 |
| Probabilistic team semantics A Durand, M Hannula, J Kontinen, A Meier, J Virtema International Symposium on Foundations of Information and Knowledge Systems …, 2018 | 15 | 2018 |
| Hierarchies in independence and inclusion logic with strict semantics M Hannula, J Kontinen Journal of Logic and Computation 25 (3), 879-897, 2015 | 12 | 2015 |
| On independence atoms and keys M Hannula, J Kontinen, S Link Proceedings of the 23rd ACM International Conference on Conference on …, 2014 | 9 | 2014 |
| Polyteam semantics M Hannula, J Kontinen, J Virtema Journal of Logic and Computation 30 (8), 1541-1566, 2020 | 7 | 2020 |
| 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 | 7 | 2019 |
| Validity and entailment in modal and propositional dependence logics M Hannula arXiv preprint arXiv:1608.04301, 2016 | 7 | 2016 |
| Probabilistic cardinality constraints T Roblot, M Hannula, S Link The VLDB Journal 27 (6), 771-795, 2018 | 6 | 2018 |
| Reasoning about embedded dependencies using inclusion dependencies M Hannula Logic for Programming, Artificial Intelligence, and Reasoning, 16-30, 2015 | 6 | 2015 |
| Automated reasoning about key sets M Hannula, S Link International Joint Conference on Automated Reasoning, 47-63, 2018 | 5 | 2018 |
| 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 | 3 | 2020 |
| Complexity thresholds in inclusion logic M Hannula, L Hella International Workshop on Logic, Language, Information, and Computation, 301-322, 2019 | 3 | 2019 |
