Minna Hirvonen

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

Collaborative distances:

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

2025

Implication Problems over Positive Semirings.

Minna Hirvonen

CoRR, October, 2025

Logical Approaches to Non-deterministic Polynomial Time over Semirings.

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

CoRR, September, 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

2024

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

Minna Hirvonen

PhD thesis, 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

2023

Logics with Probabilistic Team Semantics and the Boolean Negation.

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

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

2022

On elementary logics for quantitative dependencies.

Miika Hannula, Minna Hirvonen, Juha Kontinen

Ann. Pure Appl. Log., 2022

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

Minna Hirvonen

Proceedings of the Foundations of Information and Knowledge Systems, 2022