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…