Pages that link to "Item:Q831218"

The following pages link to About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \) (Q831218):

Displaying 6 items.

• About the unification type of \(\mathbf{K}+\square \square \bot\) (Q2134937) (← links)
• Blending margins: the modal logic K has nullary unification type (Q3450207) (← links)
• (Q5039110) (← links)
• Remarks about the unification type of several non-symmetric non-transitive modal logics (Q5241921) (← links)
• Remarks about the unification types of some locally tabular normal modal logics (Q5877709) (← links)
• About the unification types of modal logics (Q6612813) (← links)