Pretabular extensions of Lewis S4

DOI10.1007/BF01668576zbMATH Open0319.02019MaRDI QIDQ1222645FDOQ1222645

Authors: L. 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)

Cites Work

• That All Normal Extensions of S4.3 Have the Finite Model Property
• Extensions of the Lewis system S5
• Subdirect unions in universal algebra
• Some relational systems and the associated topological spaces
• Title not available (Why is that?)

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)