Five critical modal systems

DOI10.1111/J.1755-2567.1977.TB00779.XMaRDI QIDQ4149742zbMATH OpenOpenAlexFDO

Authors Leo Esakia, V. Yu. Meskhi

Publication date 1977

Published in Theoria (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1111/j.1755-2567.1977.tb00779.x

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logical aspects of Boolean algebras (03G05) Structure theory of lattices (06B05)

Cited in

(24)

• Critical modal logics containing the Brouwer axiom
• Pretabular varieties of modal algebras
• Modal companions of intermediate propositional logics
• The structure of lattices of subframe logics
• A second pretabular classical relevance logic
• Varieties of logical matrices
• Unification in pretabular extensions of S4
• Dugundji's theorem revisited
• Willem Blok and modal logic
• Finitary unification in locally tabular modal logics characterized
• LC and its pretabular relatives
• Foreword to the special issue dedicated to the memory of Leo Esakia
• On pretabular logics in NExtK4. I
• Maksimova, relevance and the study of lattices of non-classical logics
• Connected modal logics
• Many-valued modalities and paraconsistency
• On pretabular extensions of relevance logic
• Recognizable and perceptible logics and varieties
• Closure algebras of depth two with extremal relations: their frames, logics, and structural completeness
• A Gödel-Dugundji-style theorem for the minimal structural logic
• Tabular and pretabular varieties of MTL-algebras
• Completeness of S4 with respect to the real line: revisited
• Pretabular tense logics over \(\mathsf{S4}_t\)
• Some results on modal axiomatization and definability for topological spaces

This page was built for publication: Five critical modal systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4149742)