Pages that link to "Item:Q3450207"

The following pages link to Blending margins: the modal logic K has nullary unification type (Q3450207):

Displaying 12 items.

• About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \) (Q831218) (← links)
• Restricted unification in the DL \(\mathcal{FL}_0\) (Q831925) (← links)
• About the unification type of \(\mathbf{K}+\square \square \bot\) (Q2134937) (← links)
• Unification in pretabular extensions of S4 (Q2239389) (← links)
• Finitary unification in locally tabular modal logics characterized (Q2667999) (← links)
• Admissible rules for six intuitionistic modal logics (Q2683779) (← links)
• Contact Logic is Finitary for Unification with Constants (Q3298276) (← links)
• Tutorial on Admissible Rules in Gudauri (Q3455180) (← links)
• Unification in epistemic logics (Q4586223) (← links)
• <i>KD</i> is nullary (Q4586229) (← links)
• Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality (Q5853178) (← links)
• About the unification types of modal logics (Q6612813) (← links)