Pages that link to "Item:Q4372915"
From MaRDI portal
The following pages link to Canonical formulas for K4. Part III: the finite model property (Q4372915):
Displayed 5 items.
- On rules (Q266650) (← links)
- Decidability of an Xstit logic (Q456970) (← links)
- Characteristic formulas of partial Heyting algebras (Q2392011) (← links)
- Finite model property in weakly transitive tense logics (Q2698279) (← links)
- Characteristic Formulas Over Intermediate Logics (Q5214733) (← links)