Characterizing Frame Definability in Team Semantics via the Universal Modality

Abstract

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 definability of ML( u) in the spirit of the well-known Goldblatt-Thomason-Theorem. We show that an elementary class F of Kripke frames is definable in ML( u) if and only if F is closed under taking… (More)
DOI: 10.1007/978-3-662-47709-0_11

Topics

Cite this paper

@inproceedings{Sano2015CharacterizingFD, title={Characterizing Frame Definability in Team Semantics via the Universal Modality}, author={Katsuhiko Sano and Jonni Virtema}, booktitle={WoLLIC}, year={2015} }