Minna Hirvonen

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 7

Top Topics

Marginal Distributions

Joint Distribution

Fixed Point Semantics

Functional Dependencies

Top Venues

Ann. Pure Appl. Log.

Publications

Minna Hirvonen
Axiomatization of Implication for Probabilistic Independence and Unary Variants of Marginal Identity and Marginal Distribution Equivalence. FoIKS (2024)
Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema
Logics with Probabilistic Team Semantics and the Boolean Negation. JELIA (2023)
Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema
Logics with probabilistic team semantics and the Boolean negation. CoRR (2023)
Minna Hirvonen
The Implication Problem for Functional Dependencies and Variants of Marginal Distribution Equivalences. CoRR (2023)
Miika Hannula, Minna Hirvonen, Juha Kontinen
On elementary logics for quantitative dependencies. Ann. Pure Appl. Log. 173 (10) (2022)
Minna Hirvonen
The Implication Problem for Functional Dependencies and Variants of Marginal Distribution Equivalences. FoIKS (2022)
Miika Hannula, Minna Hirvonen, Juha Kontinen
On elementary logics for quantitative dependencies. CoRR (2021)