List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A circuit-theoretic view of FO over semirings | 2027-01-01 | Paper |
| Expressibility and inexpressibility in propositional team logics (available as arXiv preprint) | 2026-01-01 | Paper |
| Logics with probabilistic team semantics and the Boolean negation Journal of Logic and Computation | 2025-10-29 | Paper |
| The implication problem for functional dependencies and variants of marginal distribution equivalences ACM Transactions on Computational Logic | 2024-11-12 | Paper |
| Axiomatization of implication for probabilistic independence and unary variants of marginal identity and marginal distribution equivalence | 2024-10-30 | Paper |
| Logics with probabilistic team semantics and the Boolean negation | 2024-05-29 | Paper |
| The implication problem for functional dependencies and variants of marginal distribution equivalences | 2022-12-09 | Paper |
| On elementary logics for quantitative dependencies Annals of Pure and Applied Logic | 2022-09-16 | Paper |
Research outcomes over time
This page was built for person: Minna Hirvonen
