Preprints
M. Häggblom, M. Hirvonen, and J. Väänänen. Expressibility and inexpressibility in propositional team logics.
T. Barlag, N. Fröhlich, T. Hankala, M. Hannula, M. Hirvonen, V. Holzapfel, J. Kontinen, A. Meier, and L. Strieker. Logical Approaches to Non-deterministic Polynomial Time over Semirings.
T. Barlag, N. Fröhlich, T. Hankala, M. Hannula, M. Hirvonen, V. Holzapfel, J. Kontinen, A. Meier, and L. Strieker. Logic and Computation through the Lens of Semirings.
Peer-reviewed scientific articles
M. Hirvonen. Implication Problems Over Positive Semirings. In FoIKS 2026, Lecture Notes in Computer Science, vol 16475, pages 29–47. Springer, 2026.
M. Hannula, M. Hirvonen, J. Kontinen, and S. Link. Independence Under Incomplete Information. In FoIKS 2026, Lecture Notes in Computer Science, vol 16475, pages 157–175. Springer, 2026.
M. Hannula, M. Hirvonen, J. Kontinen, Y. Mahmood, A. Meier, and J. Virtema. Logics with probabilistic team semantics and the Boolean negation. (Extended version). Journal of Logic and Computation Vol. 35, No. 3, 2025.
M. Hirvonen. The implication problem for functional dependencies and variants of marginal distribution equivalences. (Extended version). ACM Transactions on Computational Logic Vol. 25(4), 2024.
M. Hirvonen. Axiomatization of implication for probabilistic independence and unary variants of marginal Identity and marginal distribution equivalence. In FoIKS, volume 14589 of Lecture Notes in Computer Science, pages 222–234. Springer, 2024.
M. Hannula, M. Hirvonen, J. Kontinen, Y. Mahmood, A. Meier, and J. Virtema. Logics with probabilistic team semantics and the Boolean negation. In Proc. JELIA, 2023.
M. Hirvonen. The implication problem for functional dependencies and variants of marginal distribution equivalences. In FoIKS, volume 13388 of Lecture Notes in Computer Science, pages 130–146. Springer, 2022.
M. Hannula, M. Hirvonen, and J. Kontinen. On elementary logics for quantitative dependencies. Annals of Pure and Applied Logic 173(10), 2022.
Theses
M. Hirvonen. Expressivity and complexity in probabilistic team semantics. Dissertationes Universitatis Helsingiensis 288/2024, University of Helsinki, 2024.