Minna Hirvonen

According to our database, Minna Hirvonen authored at least 7 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Independence Under Incomplete Information.

Miika Hannula, Minna Hirvonen, Juha Kontinen, Sebastian Link

CoRR, May, 2025

Logic and Computation Through the Lens of Semirings.

Timon Barlag, Nicolas Fröhlich, Teemu Hankala, Miika Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, Arne Meier, Laura Strieker

CoRR, February, 2025

Logics with probabilistic team semantics and the Boolean negation.

Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema

J. Log. Comput., 2025

2024

Expressivity and Complexity in Probabilistic Team Semantics ; Ilmaisuvoima ja vaativuus probabilistisessa tiimisemantiikassa.

Minna Hirvonen

PhD thesis, 2024

The Implication Problem for Functional Dependencies and Variants of Marginal Distribution Equivalences.

Minna Hirvonen

ACM Trans. Comput. Log., 2024

Axiomatization of Implication for Probabilistic Independence and Unary Variants of Marginal Identity and Marginal Distribution Equivalence.

Minna Hirvonen

Proceedings of the Foundations of Information and Knowledge Systems, 2024

2022

On elementary logics for quantitative dependencies.

Miika Hannula, Minna Hirvonen, Juha Kontinen

Ann. Pure Appl. Log., 2022