Pretabular extensions of Lewis S4
From MaRDI portal
Publication:1222645
DOI10.1007/BF01668576zbMATH Open0319.02019MaRDI QIDQ1222645FDOQ1222645
Authors: L. L. Maksimova
Publication date: 1976
Published in: Algebra and Logic (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Logical aspects of Boolean algebras (03G05) General logic (03B99)
Cites Work
Cited In (21)
- Tabularity and post-completeness in tense logic
- Willem Blok and modal logic
- Recognizable and perceptible logics and varieties
- On the simple substitution property for superintuitionistic and modal propositional logics
- The structure of lattices of subframe logics
- Unification in pretabular extensions of S4
- LC and Its Pretabular Relatives
- Weak interpolation in extensions of the logics S4 and K4
- A “Reply” to My “Critics”
- Inference rules with metavariables and logical equations in the pretabular modal logic PM1
- On pretabular logics in NExtK4. I
- On pretabular extensions of relevance logic
- Modal companions of intermediate propositional logics
- Constructive classifications of modal logics and extensions of minimal logic
- Projective Beth property in extensions of Grzegorczyk logic
- Pretabularity and Craig's interpolation property
- Explicit definitions of implicitly definable objects in some modal logics
- A second pretabular classical relevance logic
- Duality via truth for some fuzzy modal logic
- A pretabular classical relevance logic
- Canonical formulas for K4. Part II: Cofinal subframe logics
This page was built for publication: Pretabular extensions of Lewis S4
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1222645)