31 citations · 111 across the 33 of their papers we have counts for
4 papers · 2 filters
Axiomatizing Propositional Dependence Logics
Katsuhiko Sano, Jonni Virtema
We give sound and complete Hilbert-style axiomatizations for propositional dependence logic (PD), modal dependence logic (MDL), and extended modal dependence logic (EMDL) by extend…
Decidability of predicate logics with team semantics
Juha Kontinen, Antti Kuusisto, Jonni Virtema
We study the complexity of predicate logics based on team semantics. We show that the satisfiability problems of two-variable independence logic and inclusion logic are both NEXPTI…
The Expressive Power of Modal Dependence Logic
Lauri Hella, Kerkko Luosto, Katsuhiko Sano +1
We study the expressive power of various modal logics with team semantics. We show that exactly the properties of teams that are downward closed and closed under team k-bisimulatio…
Complexity of validity for propositional dependence logics
Jonni Virtema
We study the validity problem for propositional dependence logic, modal dependence logic and extended modal dependence logic. We show that the validity problem for propositional de…