On elementary logics for quantitative dependencies. - Miika Hannula; Minna Hirvonen; Juha Kontinen (Ann. Pure Appl. Log., 2022)

Axiomatization of Implication for Probabilistic Independence and Unary Variants of Marginal Identity and Marginal Distribution Equivalence. - Minna Hirvonen (FoIKS, 2024)

The Implication Problem for Functional Dependencies and Variants of Marginal Distribution Equivalences. - Minna Hirvonen (ACM Trans. Comput. Log., 2024)

Expressivity and Complexity in Probabilistic Team Semantics ; Ilmaisuvoima ja vaativuus probabilistisessa tiimisemantiikassa. - Minna Hirvonen (2024)

Logics with probabilistic team semantics and the Boolean negation. - Miika Hannula; Minna Hirvonen; Juha Kontinen; Yasir Mahmood 002; Arne Meier; Jonni Virtema (J. Log. Comput., 2025)

Logic and Computation Through the Lens of Semirings. - Timon Barlag; Nicolas Fröhlich 001; Teemu Hankala; Miika Hannula; Minna Hirvonen; Vivian Holzapfel; Juha Kontinen; Arne Meier; Laura Strieker (CoRR, 2025)

Independence Under Incomplete Information. - Miika Hannula; Minna Hirvonen; Juha Kontinen; Sebastian Link (CoRR, 2025)