A lattice of normal modal logics

DOI10.1007/BF01463150zbMath0315.02027MaRDI QIDQ1220915

Vladimir Vladimirovich Rybakov, Larisa L. Maksimova

Publication date: 1975

Published in: Algebra and Logic (Search for Journal in Brave)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property ⋮ Algorithms for recognizing restricted interpolation over the modal logic S4 ⋮ The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond ⋮ Interconnection of the lattices of extensions of four logics ⋮ Hereditarily structurally complete modal logics ⋮ The algebraic significance of weak excluded middle laws ⋮ Normal companions of intuitionistic modal logics ⋮ Restricted interpolation property in superintuitionistic logics ⋮ Willem Blok and modal logic ⋮ Projective Beth property in extensions of Grzegorczyk logic ⋮ Hereditarily structurally complete intermediate logics: Citkin's theorem via duality ⋮ Not every splitting Heyting or interior algebra is finitely presentable ⋮ Foreword to the special issue dedicated to the memory of Leo Esakia ⋮ Lattice logic as a fragment of (2-sorted) residuated modal logic ⋮ The disjunction property of intermediate propositional logics ⋮ LC and Its Pretabular Relatives ⋮ Modal companions of intermediate propositional logics ⋮ Unnamed Item ⋮ A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES ⋮ A Note on Strictly Positive Logics and Word Rewriting Systems ⋮ Lattice NExtS4 from the Embedding Theorem Viewpoint ⋮ Modal translation of substructural logics ⋮ Syntax and semantics of modal logics containing S4 ⋮ On logics with coimplication ⋮ Canonical rules ⋮ VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS ⋮ Unnamed Item ⋮ On the Blok-Esakia Theorem ⋮ Restricted interpolation over modal logic S4

Cites Work

• Modal Logics Between S 4 and S 5
• Some relational systems and the associated topological spaces
• Note on a property of matrices for Lewis and Langford's calculi of propositions
• Some theorems about the sentential calculi of Lewis and Heyting
• Extensions of the Lewis system S5
• Subdirect unions in universal algebra
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item