Pages that link to "Item:Q2889571"

The following pages link to Unification in modal and description logics (Q2889571):

Displaying 14 items.

• A syntactic approach to unification in transitive reflexive modal logics (Q286704) (← links)
• Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) (Q385070) (← links)
• On unification and admissible rules in Gabbay-de Jongh logics (Q386639) (← links)
• About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \) (Q831218) (← links)
• Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras (Q2084960) (← links)
• About the unification type of \(\mathbf{K}+\square \square \bot\) (Q2134937) (← links)
• Unification in pretabular extensions of S4 (Q2239389) (← links)
• Rules with parameters in modal logic. I. (Q2346953) (← links)
• Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor (Q2374390) (← links)
• Finitary unification in locally tabular modal logics characterized (Q2667999) (← links)
• Projectivity and unification in substructural logics of generalized rotations (Q2677856) (← links)
• Contact Logic is Finitary for Unification with Constants (Q3298276) (← links)
• What Is Essential Unification? (Q3305325) (← links)
• Admissibility and unification in the modal logics related to S4.2 (Q6153443) (← links)