Pages that link to "Item:Q598304"

The following pages link to Unification, finite duality and projectivity in varieties of Heyting algebras (Q598304):

Displaying 20 items.

• On rules (Q266650) (← links)
• A syntactic approach to unification in transitive reflexive modal logics (Q286704) (← links)
• Finite frames fail: how infinity works its way into the semantics of admissibility (Q514509) (← links)
• Best unifiers in transitive modal logics (Q647403) (← links)
• Unification in linear temporal logic LTL (Q716499) (← links)
• The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
• About the unification type of \(\mathbf{K}+\square \square \bot\) (Q2134937) (← links)
• Multi-agent logics with dynamic accessibly relations, projective unifiers (Q2165613) (← links)
• Computing coproducts of finitely presented Gödel algebras (Q2503401) (← links)
• Finitary unification in locally tabular modal logics characterized (Q2667999) (← links)
• UNIFICATION IN INTERMEDIATE LOGICS (Q3450801) (← links)
• Tutorial on Admissible Rules in Gudauri (Q3455180) (← links)
• (Q4963142) (← links)
• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
• Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond (Q5139276) (← links)
• (Q5146272) (← links)
• Canonical Extensions, Esakia Spaces, and Universal Models (Q5255790) (← links)
• Filtering unification and most general unifiers in modal logic (Q5311759) (← links)
• Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK (Q5852970) (← links)
• Admissibility and unification in the modal logics related to S4.2 (Q6153443) (← links)