Pages that link to "Item:Q286704"
From MaRDI portal
The following pages link to A syntactic approach to unification in transitive reflexive modal logics (Q286704):
Displayed 5 items.
- On rules (Q266650) (← links)
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- About the unification type of \(\mathbf{K}+\square \square \bot\) (Q2134937) (← links)
- Unification in pretabular extensions of S4 (Q2239389) (← links)
- Finitary unification in locally tabular modal logics characterized (Q2667999) (← links)