Pages that link to "Item:Q6111080"
From MaRDI portal
The following pages link to Unification types in Euclidean modal logics (Q6111080):
Displaying 7 items.
- About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \) (Q831218) (← links)
- Unification in pretabular extensions of S4 (Q2239389) (← links)
- Projective unification in modal logic (Q2903753) (← 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)