Paper Info
Title
Characterizing Relative Frame Definability in Team Semantics via the Universal Modality.
Abstract
Let [InlineEquation not available: see fulltext.] denote the fragment of modal logic extended with the universal modality in which the universal modality occurs only positively. We characterise the relative definability of [InlineEquation not available: see fulltext.] relative to finite transitive frames in the spirit of the well-known Goldblatt---Thomason theorem. We show that a class $$\\mathbb {F}$$ of finite transitive frames is definable in [InlineEquation not available: see fulltext.] relative to finite transitive frames if and only if $$\\mathbb {F}$$ is closed under taking generated subframes and bounded morphic images. In addition, we study modal definability in team-based logics. We study extended modal dependence logic, extended modal inclusion logic, and modal team logic. With respect to global model definability we obtain a trichotomy and with respect to frame definability a dichotomy. As a corollary we obtain relative Goldblatt---Thomason -style theorems for each of the logics listed above.
Year
DOI
Venue
2016
10.1007/978-3-662-52921-8_24
WoLLIC
Field
DocType
Volume
Discrete mathematics,Normal modal logic,Pure mathematics,Dependence logic,Modal logic,If and only if,Mathematics,Modal,Bounded function,Trichotomy (philosophy),Transitive relation
Conference
9803
ISSN
Citations 
PageRank 
0302-9743
1
0.36
References 
Authors
11
2
Name
Order
Citations
PageRank
Katsuhiko Sano1267.47
Jonni Virtema27911.93