scientific article
From MaRDI portal
Publication:4075436
zbMath0316.02021MaRDI QIDQ4075436
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10) Categoricity and completeness of theories (03C35)
Related Items (27)
On the canonicity of Sahlqvist identities ⋮ Topology and duality in modal logic ⋮ Varieties of complex algebras ⋮ The structure of lattices of subframe logics ⋮ Elementary generation and canonicity for varieties of Boolean algebras with operators ⋮ Canonicity for intensional logics without iterative axioms ⋮ Separation logics and modalities: a survey ⋮ Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices ⋮ Lewis meets Brouwer: constructive strict implication ⋮ Decidability of modal logics of non-\(k\)-colorable graphs ⋮ Topological duality and algebraic completions ⋮ Mathematical modal logic: A view of its evolution ⋮ Properties of Tense Logics ⋮ Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics ⋮ A Road to Ultrafilter Extensions ⋮ A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS ⋮ Kripke completeness of infinitary predicate multimodal logics ⋮ Some characterization and preservation theorems in modal logic ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ Correspondence, canonicity, and model theory for monotonic modal logics ⋮ Definable operators on stable set lattices ⋮ On final coalgebras of power-set functors and saturated trees ⋮ Canonical extensions and ultraproducts of polarities ⋮ Deciding regular grammar logics with converse through first-order logic ⋮ Toward an infinitary logic of domains: Abramsky logic for transition systems ⋮ Saturated Kripke structures as Vietoris coalgebras ⋮ A simple incomplete extension of T which is the union of two complete modal logics with f. m. p
This page was built for publication:
