Pages that link to "Item:Q1203789"
From MaRDI portal
The following pages link to A modal analog for Glivenko's theorem and its applications (Q1203789):
Displayed 4 items.
- Completeness and decidability of tense logics closely related to logics above K4 (Q4338319) (← links)
- Canonical formulas for K4. Part III: the finite model property (Q4372915) (← links)
- On Finite Model Property for Admissible Rules (Q4704656) (← links)
- From Intuitionism to Brouwer's Modal Logic (Q4999458) (← links)