Sign in
Minna Hirvonen
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 6
Top Topics
Functional Dependencies
Compositional Semantics
Modal Logic
Inference Rules
Top Venues
CoRR
Ann. Pure Appl. Log.
FoIKS
JELIA
</>
Publications
</>
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)