22 citations · 30 across the 2 of their papers we have counts for
2 papers
cs.LO2014★ 8 cited
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…
cs.LO2014★ 22 cited
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…