The following pages link to (Q5039110):
Displaying 6 items.
- About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \) (Q831218) (← links)
- Fusion of sequent modal logic systems labelled with truth values (Q3061282) (← links)
- Blending margins: the modal logic K has nullary unification type (Q3450207) (← links)
- Remarks about the unification type of several non-symmetric non-transitive modal logics (Q5241921) (← links)
- Filtering unification and most general unifiers in modal logic (Q5311759) (← links)
- Remarks about the unification types of some locally tabular normal modal logics (Q5877709) (← links)
