The following pages link to <i>KD</i> is nullary (Q4586229):
Displayed 4 items.
- About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \) (Q831218) (← links)
- About the unification type of \(\mathbf{K}+\square \square \bot\) (Q2134937) (← links)
- Finitary unification in locally tabular modal logics characterized (Q2667999) (← links)
- Contact Logic is Finitary for Unification with Constants (Q3298276) (← links)