scientific article; zbMATH DE number 3508462

zbMath0325.02012MaRDI QIDQ4088789

Robert Goldblatt, S. K. Thomason

Publication date: 1975

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Axiomatic model classes (08C10)

Related Items

Modal definability based on Łukasiewicz validity relations, Covering-based rough sets and modal logics. II., Topology and duality in modal logic, Varieties of complex algebras, Der Verband der normalen verzweigten Modallogiken, Boolean logics with relations, Frame definability in finitely valued modal logics, Existential definability of modal frame classes, Some kinds of modal completeness, Mathematical modal logic: A view of its evolution, A Road to Ultrafilter Extensions, Belnap-Dunn modal logic with value operators, Characterising modal definability of team-based logics via the universal modality, Correspondence, canonicity, and model theory for monotonic modal logics, What is the coalgebraic analogue of Birkhoff's variety theorem?, First-order modal logic: frame definability and a Lindström theorem, On ultrafilter extensions of first-order models and ultrafilter interpretations, KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS, Characterizing Relative Frame Definability in Team Semantics via the Universal Modality, Unsorted Functional Translations, An essay in combinatory dynamic logic