Minna Hirvonen

16 papers B 1Journal 10Unranked 4
YearRankTypeTitle / Venue / Authors
2026 — conf
Implication Problems Over Positive Semirings.
FoIKS
Minna Hirvonen
2026 — conf
Independence Under Incomplete Information.
FoIKS
Miika Hannula, Minna Hirvonen, Juha Kontinen, Sebastian Link
2025 J jnl
Implication Problems over Positive Semirings.
CoRR
Minna Hirvonen
2025 J jnl
Independence Under Incomplete Information.
CoRR
Miika Hannula, Minna Hirvonen, Juha Kontinen, Sebastian Link
2025 J jnl
Logic and Computation Through the Lens of Semirings.
CoRR
Timon Barlag, Nicolas Fröhlich, Teemu Hankala, Miika Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, Arne Meier, Laura Strieker
2025 J jnl
Logical Approaches to Non-deterministic Polynomial Time over Semirings.
CoRR
Timon Barlag, Nicolas Fröhlich, Teemu Hankala, Miika Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, Arne Meier, Laura Strieker
2025 J jnl
Logics with probabilistic team semantics and the Boolean negation.
J. Log. Comput.
Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema
2024 — conf
Axiomatization of Implication for Probabilistic Independence and Unary Variants of Marginal Identity and Marginal Distribution Equivalence.
FoIKS
Minna Hirvonen
2024 — —
Expressivity and Complexity in Probabilistic Team Semantics ; Ilmaisuvoima ja vaativuus probabilistisessa tiimisemantiikassa.
Minna Hirvonen
2024 J jnl
The Implication Problem for Functional Dependencies and Variants of Marginal Distribution Equivalences.
ACM Trans. Comput. Log.
Minna Hirvonen
2023 B conf
Logics with Probabilistic Team Semantics and the Boolean Negation.
JELIA
Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema
2023 J jnl
Logics with probabilistic team semantics and the Boolean negation.
CoRR
Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema
2023 J jnl
The Implication Problem for Functional Dependencies and Variants of Marginal Distribution Equivalences.
CoRR
Minna Hirvonen
2022 J jnl
On elementary logics for quantitative dependencies.
Ann. Pure Appl. Log.
Miika Hannula, Minna Hirvonen, Juha Kontinen
2022 — conf
The Implication Problem for Functional Dependencies and Variants of Marginal Distribution Equivalences.
FoIKS
Minna Hirvonen
2021 J jnl
On elementary logics for quantitative dependencies.
CoRR
Miika Hannula, Minna Hirvonen, Juha Kontinen