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…