21 citations · 116 across the 38 of their papers we have counts for
3 papers · 1 filter
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…
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…
Tractability Frontier of Data Complexity in Team Semantics
Arnaud Durand, Juha Kontinen, Nicolas de Rugy-Altherre +1
We study the data complexity of model-checking for logics with team semantics. We focus on dependence, inclusion, and independence logic formulas under both strict and lax team sem…