scientific article; zbMATH DE number 3494368
From MaRDI portal
Publication:4075436
Cited in
(28)- Separation logics and modalities: a survey
- Canonical extensions and ultraproducts of polarities
- Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics
- A road to ultrafilter extensions
- Canonicity for intensional logics without iterative axioms
- Properties of Tense Logics
- A simple incomplete extension of T which is the union of two complete modal logics with f. m. p
- Lewis meets Brouwer: constructive strict implication
- Definable operators on stable set lattices
- Canonicity in power and modal logics of finite achronal width
- Correspondence, canonicity, and model theory for monotonic modal logics
- On final coalgebras of power-set functors and saturated trees
- Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices
- Deciding regular grammar logics with converse through first-order logic
- Some characterization and preservation theorems in modal logic
- Elementary generation and canonicity for varieties of Boolean algebras with operators
- On the canonicity of Sahlqvist identities
- The structure of lattices of subframe logics
- Toward an infinitary logic of domains: Abramsky logic for transition systems
- Saturated Kripke structures as Vietoris coalgebras
- Kripke completeness of infinitary predicate multimodal logics
- Mathematical modal logic: A view of its evolution
- Varieties of complex algebras
- A model-theoretic characterization of monadic second order logic on infinite words
- Decidability of modal logics of non-\(k\)-colorable graphs
- Topological duality and algebraic completions
- Topology and duality in modal logic
- Algorithmic correspondence and canonicity for non-distributive logics
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4075436)
