The following pages link to Pretabular extensions of Lewis S4 (Q1222645):
Displayed 17 items.
- Weak interpolation in extensions of the logics S4 and K4 (Q431659) (← links)
- On pretabular logics in NExtK4. I (Q456965) (← links)
- On the simple substitution property for superintuitionistic and modal propositional logics (Q542292) (← links)
- Recognizable and perceptible logics and varieties (Q683376) (← links)
- Constructive classifications of modal logics and extensions of minimal logic (Q784471) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- The structure of lattices of subframe logics (Q1361249) (← links)
- A second pretabular classical relevance logic (Q1708106) (← links)
- A pretabular classical relevance logic (Q1935566) (← links)
- Explicit definitions of implicitly definable objects in some modal logics (Q1972816) (← links)
- Unification in pretabular extensions of S4 (Q2239389) (← links)
- Willem Blok and modal logic (Q2433092) (← links)
- Projective Beth property in extensions of Grzegorczyk logic (Q2433106) (← links)
- LC and Its Pretabular Relatives (Q3305421) (← links)
- A “Reply” to My “Critics” (Q3305436) (← links)
- Canonical formulas for K4. Part II: Cofinal subframe logics (Q4894720) (← links)
- Inference rules with metavariables and logical equations in the pretabular modal logic PM1 (Q5932613) (← links)