21 citations · 72 across the 28 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
cs.LO2015
Approximation and Dependence via Multiteam Semantics
Arnaud Durand, Miika Hannula, Juha Kontinen +2
We define a variant of team semantics called multiteam semantics based on multisets and study the properties of various logics in this framework. In particular, we define natural p…
cs.LO2015★ 5 cited
Reasoning about embedded dependencies using inclusion dependencies
Miika Hannula
The implication problem for the class of embedded dependencies is undecidable. However, this does not imply lackness of a proof procedure as exemplified by the chase algorithm. In…
cs.LO2015★ 1 cited
Complexity of Propositional Logics in Team Semantics
Miika Hannula, Juha Kontinen, Jonni Virtema +1
We classify the computational complexity of the satisfiability, validity and model-checking problems for propositional independence, inclusion, and team logic. Our main result show…