The following pages link to (Q4075436):
Displayed 27 items.
- Kripke completeness of infinitary predicate multimodal logics (Q701294) (← links)
- Some characterization and preservation theorems in modal logic (Q714726) (← links)
- Topology and duality in modal logic (Q1101436) (← links)
- On the canonicity of Sahlqvist identities (Q1338478) (← links)
- The structure of lattices of subframe logics (Q1361249) (← links)
- Canonicity for intensional logics without iterative axioms (Q1368753) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
- Toward an infinitary logic of domains: Abramsky logic for transition systems (Q1854320) (← links)
- A simple incomplete extension of T which is the union of two complete modal logics with f. m. p (Q1868335) (← links)
- Elementary generation and canonicity for varieties of Boolean algebras with operators (Q1906001) (← links)
- Correspondence, canonicity, and model theory for monotonic modal logics (Q2021573) (← links)
- Definable operators on stable set lattices (Q2027212) (← links)
- Saturated Kripke structures as Vietoris coalgebras (Q2104479) (← links)
- Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics (Q2219174) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- On final coalgebras of power-set functors and saturated trees (Q2516577) (← links)
- Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
- Varieties of complex algebras (Q2641327) (← links)
- A Road to Ultrafilter Extensions (Q3305690) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- Properties of Tense Logics (Q5687411) (← links)
- A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS (Q5738190) (← links)
- Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices (Q6058014) (← links)
- Decidability of modal logics of non-\(k\)-colorable graphs (Q6118698) (← links)
- Topological duality and algebraic completions (Q6120604) (← links)