Pages that link to "Item:Q4894720"

The following pages link to Canonical formulas for K4. Part II: Cofinal subframe logics (Q4894720):

Displaying 24 items.

• On rules (Q266650) (← links)
• An algebraic approach to canonical formulas: modal case (Q647410) (← links)
• Complexity of admissible rules (Q868660) (← links)
• Frame based formulas for intermediate logics (Q1005954) (← links)
• Substitution Frege and extended Frege proof systems in non-classical logics (Q1023047) (← links)
• On logics with coimplication (Q1272827) (← links)
• The structure of lattices of subframe logics (Q1361249) (← links)
• Stable formulas in intuitionistic logic (Q1782236) (← links)
• The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
• Rules with parameters in modal logic. I. (Q2346953) (← links)
• An algebraic approach to subframe logics. Intuitionistic case (Q2370373) (← links)
• Characteristic formulas of partial Heyting algebras (Q2392011) (← links)
• Intermediate logics admitting a structural hypersequent calculus (Q2422309) (← links)
• Classification of extensions of the modal logic S4 (Q2436104) (← links)
• AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE (Q3644804) (← links)
• Canonical formulas for K4. Part III: the finite model property (Q4372915) (← links)
• Erdős Graphs Resolve Fine's Canonicity Problem (Q4678939) (← links)
• CANONICAL FORMULAS FOR <b>wK4</b> (Q4899969) (← links)
• STABLE MODAL LOGICS (Q4961739) (← links)
• Characteristic Formulas Over Intermediate Logics (Q5214733) (← links)
• Remarks on Stable Formulas in Intuitionistic Logic (Q5215503) (← links)
• On the Blok-Esakia Theorem (Q5255793) (← links)
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
• Canonicity in power and modal logics of finite achronal width (Q6638232) (← links)