Miika Hannula

Available identifiers

zbMath Open hannula.miikaDBLP129/1659WikidataQ61106791 ScholiaQ61106791MaRDI QIDQ269504

List of research outcomes

Publication	Date of Publication	Type
Logics with probabilistic team semantics and the Boolean negation	2024-05-29	Paper
Controlling entity integrity with key sets	2023-06-12	Paper
On elementary logics for quantitative dependencies	2022-09-16	Paper
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals	2022-09-16	Paper
Complexity thresholds in inclusion logic	2022-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q5015279	2021-12-07	Paper
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals	2021-12-01	Paper
Descriptive complexity of real computation and probabilistic independence logic	2021-01-21	Paper
Polyteam semantics	2020-12-15	Paper
Validity and entailment in modal and propositional dependence logics	2020-05-26	Paper
Complexity thresholds in inclusion logic	2020-03-04	Paper
Facets of distribution identities in probabilistic team semantics	2020-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q5376655	2019-05-17	Paper
On the Interaction of Inclusion Dependencies with Independence Atoms	2019-01-10	Paper
Facets of Distribution Identities in Probabilistic Team Semantics	2018-12-14	Paper
Hierarchies in Inclusion Logic with Lax Semantics	2018-10-24	Paper
Automated reasoning about key sets	2018-10-18	Paper
Approximation and dependence via multiteam semantics	2018-09-21	Paper
Probabilistic team semantics	2018-06-26	Paper
Polyteam semantics	2018-04-06	Paper
Complexity of Propositional Logics in Team Semantic	2018-03-22	Paper
Hierarchies in independence logic	2017-02-02	Paper
Validity and Entailment in Modal and Propositional Dependence Logics	2016-08-12	Paper
A finite axiomatization of conditional independence and inclusion dependencies	2016-07-07	Paper
Approximation and Dependence via Multiteam Semantics	2016-05-19	Paper
On the finite and general implication problems of independence atoms and keys	2016-04-18	Paper
Reasoning About Embedded Dependencies Using Inclusion Dependencies	2016-01-12	Paper
Complexity of Propositional Independence and Inclusion Logic	2015-09-16	Paper
Hierarchies in independence and inclusion logic with strict semantics	2015-07-15	Paper
Hierarchies in Inclusion Logic with Lax Semantics	2015-01-09	Paper
Axiomatizing first-order consequences in independence logic	2014-10-27	Paper
A Finite Axiomatization of Conditional Independence and Inclusion Dependencies	2014-03-31	Paper

Research outcomes over time

This page was built for person: Miika Hannula