Pages that link to "Item:Q5877709"

The following pages link to Remarks about the unification types of some locally tabular normal modal logics (Q5877709):

Displaying 9 items.

• About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \) (Q831218) (← links)
• Unification in pretabular extensions of S4 (Q2239389) (← links)
• Blending margins: the modal logic K has nullary unification type (Q3450207) (← links)
• Unifiability in extensions of K4 (Q3625492) (← links)
• (Q5039110) (← links)
• Remarks about the unification type of several non-symmetric non-transitive modal logics (Q5241921) (← links)
• UNIMODULARITY UNIFIED (Q5359575) (← links)
• Unification types in Euclidean modal logics (Q6111080) (← links)
• About the unification types of modal logics (Q6612813) (← links)