scientific article; zbMATH DE number 3494368
From MaRDI portal
Publication:4075436
zbMATH Open0316.02021MaRDI QIDQ4075436FDOQ4075436
Authors: Kit Fine 
Publication date: 1975
Title of this publication is not available (Why is that?)
Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10) Categoricity and completeness of theories (03C35)
Cited In (28)
- On final coalgebras of power-set functors and saturated trees
- Saturated Kripke structures as Vietoris coalgebras
- Canonicity for intensional logics without iterative axioms
- A simple incomplete extension of T which is the union of two complete modal logics with f. m. p
- Kripke completeness of infinitary predicate multimodal logics
- Separation logics and modalities: a survey
- Properties of Tense Logics
- Deciding regular grammar logics with converse through first-order logic
- The structure of lattices of subframe logics
- 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
- Topology and duality in modal logic
- Correspondence, canonicity, and model theory for monotonic modal logics
- Definable operators on stable set lattices
- Mathematical modal logic: A view of its evolution
- Canonicity in power and modal logics of finite achronal width
- Canonical extensions and ultraproducts of polarities
- A Road to Ultrafilter Extensions
- Varieties of complex algebras
- Lewis meets Brouwer: constructive strict implication
- Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices
- Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics
- Algorithmic correspondence and canonicity for non-distributive logics
- Decidability of modal logics of non-\(k\)-colorable graphs
- Topological duality and algebraic completions
- Toward an infinitary logic of domains: Abramsky logic for transition systems
- A model-theoretic characterization of monadic second order logic on infinite words
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)
