31 citations · 111 across the 33 of their papers we have counts for
3 papers · 2 filters
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…
A Team Based Variant of CTL
Andreas Krebs, Arne Meier, Jonni Virtema
We introduce two variants of computation tree logic CTL based on team semantics: an asynchronous one and a synchronous one. For both variants we investigate the computational compl…
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…