31 citations · 111 across the 33 of their papers we have counts for
4 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…
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…
Characterising Modal Definability of Team-Based Logics via the Universal Modality
Katsuhiko Sano, Jonni Virtema
We study model and frame definability of various modal logics. Let ML(A+) denote the fragment of modal logic extended with the universal modality in which the universal modality oc…