Pages that link to "Item:Q4032666"

The following pages link to Canonical formulas for <i>K</i>4. Part I: Basic results (Q4032666):

Displaying 26 items.

• On rules (Q266650) (← links)
• Admissible bases via stable canonical rules (Q284230) (← links)
• Cofinal stable logics (Q514517) (← links)
• An algebraic approach to canonical formulas: modal case (Q647410) (← links)
• Frame based formulas for intermediate logics (Q1005954) (← links)
• The structure of lattices of subframe logics (Q1361249) (← links)
• The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
• A counterexample in tense logic (Q1815425) (← links)
• Characteristic formulas of partial Heyting algebras (Q2392011) (← links)
• Classification of extensions of the modal logic S4 (Q2436104) (← links)
• Frege systems for extensible modal logics (Q2503409) (← links)
• AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE (Q3644804) (← links)
• Canonical rules (Q3655251) (← links)
• The undecidability of the disjunction property of propositional logics and other related problems (Q4276033) (← links)
• Canonical formulas for K4. Part III: the finite model property (Q4372915) (← links)
• 1996–1997 Winter Meeting of the Association for Symbolic Logic (Q4372926) (← links)
• (Q4556013) (← links)
• The finite model property in tense logic (Q4858814) (← links)
• Tense Logic Without Tense Operators (Q4879194) (← links)
• Canonical formulas for K4. Part II: Cofinal subframe logics (Q4894720) (← links)
• CANONICAL FORMULAS FOR <b>wK4</b> (Q4899969) (← links)
• STABLE MODAL LOGICS (Q4961739) (← links)
• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
• Characteristic Formulas Over Intermediate Logics (Q5214733) (← links)
• On the Blok-Esakia Theorem (Q5255793) (← links)
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)