22 citations · 48 across the 10 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2016★ 1 cited
Characterizing Relative Frame Definability in Team Semantics via the Universal Modality
Katsuhiko Sano, Jonni Virtema
Let ML(U^+) denote the fragment of modal logic extended with the universal modality in which the universal modality occurs only positively. We characterize the relative definabilit…
math.LO2015
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…