The following pages link to CANONICAL FORMULAS FOR <b>wK4</b> (Q4899969):
Displaying 7 items.
- Stable formulas in intuitionistic logic (Q1782236) (← links)
- Canonical formulas for \(k\)-potent commutative, integral, residuated lattices (Q2359733) (← links)
- Stable canonical rules (Q2805038) (← links)
- Canonical formulas for <i>K</i>4. Part I: Basic results (Q4032666) (← links)
- Canonical formulas for K4. Part II: Cofinal subframe logics (Q4894720) (← links)
- STABLE MODAL LOGICS (Q4961739) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)