Pretabular extensions of Lewis S4

DOI10.1007/BF01668576zbMath0319.02019MaRDI QIDQ1222645

Larisa L. Maksimova

Publication date: 1976

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logical aspects of Boolean algebras (03G05) General logic (03B99)

Related Items (17)

The structure of lattices of subframe logics ⋮ A pretabular classical relevance logic ⋮ Weak interpolation in extensions of the logics S4 and K4 ⋮ Willem Blok and modal logic ⋮ Projective Beth property in extensions of Grzegorczyk logic ⋮ A second pretabular classical relevance logic ⋮ On pretabular logics in NExtK4. I ⋮ Explicit definitions of implicitly definable objects in some modal logics ⋮ Canonical formulas for K4. Part II: Cofinal subframe logics ⋮ LC and Its Pretabular Relatives ⋮ A “Reply” to My “Critics” ⋮ Unification in pretabular extensions of S4 ⋮ Modal companions of intermediate propositional logics ⋮ Recognizable and perceptible logics and varieties ⋮ Inference rules with metavariables and logical equations in the pretabular modal logic PM1 ⋮ On the simple substitution property for superintuitionistic and modal propositional logics ⋮ Constructive classifications of modal logics and extensions of minimal logic

Cites Work

• Unnamed Item
• That All Normal Extensions of S4.3 Have the Finite Model Property
• Some relational systems and the associated topological spaces
• Extensions of the Lewis system S5
• Subdirect unions in universal algebra

This page was built for publication: Pretabular extensions of Lewis S4