Pretabular extensions of Lewis S4

DOI10.1007/BF01668576MaRDI QIDQ1222645zbMATH OpenFDO

Authors L. L. Maksimova

Publication date 1976

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

Full work available at URL https://doi.org/10.1007/BF01668576

Mathematics Subject Classification ID

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

Cites work

• Extensions of the Lewis system S5
• scientific article; zbMATH DE number 3259885 (Why is no real title available?)
• Some relational systems and the associated topological spaces
• Subdirect unions in universal algebra
• That All Normal Extensions of S4.3 Have the Finite Model Property

Cited in

(24)

• Modal companions of intermediate propositional logics
• The structure of lattices of subframe logics
• A second pretabular classical relevance logic
• A pretabular classical relevance logic
• Explicit definitions of implicitly definable objects in some modal logics
• Unification in pretabular extensions of S4
• Willem Blok and modal logic
• Projective Beth property in extensions of Grzegorczyk logic
• LC and its pretabular relatives
• A ``reply to my ``critics
• Weak interpolation in extensions of the logics S4 and K4
• On pretabular logics in NExtK4. I
• Canonical formulas for K4. Part II: Cofinal subframe logics
• On the simple substitution property for superintuitionistic and modal propositional logics
• Inference rules with metavariables and logical equations in the pretabular modal logic PM1
• Pretabularity and Craig's interpolation property
• Duality via truth for some fuzzy modal logic
• Tabularity and post-completeness in tense logic
• 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
• Constructive classifications of modal logics and extensions of minimal logic

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)