Paper Info
Title
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 generated subframes and bounded morphic images, and reflects ultrafilter extensions and finitely generated subframes. In addition, we initiate the study of modal frame definability in team-based logics. We show that, with respect to frame definability, the logics ML(u(+)), modal logic with intuitionistic disjunction, and (extended) modal dependence logic all coincide. Thus we obtain Goldblatt-Thomason -style theorems for each of the logics listed above.
Year
DOI
Venue
2015
10.1007/978-3-662-47709-0_11
Lecture Notes in Computer Science
Field
DocType
Volume
Discrete mathematics,Normal modal logic,Kripke semantics,Algorithm,Ultrafilter,Dependence logic,Modal logic,Elementary class,Modal,Mathematics,Bounded function
Conference
9160
ISSN
Citations 
PageRank 
0302-9743
3
0.41
References 
Authors
17
2
Name
Order
Citations
PageRank
Katsuhiko Sano1267.47
Jonni Virtema27911.93