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):
Displaying 12 items.
- On rules (Q266650) (← links)
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Syntactic features and synonymy relations: A unified treatment of some proofs of the compactness and interpolation theorems (Q1327488) (← 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)
- UNIFICATION IN INTERMEDIATE LOGICS (Q3450801) (← links)
- Unifiers in transitive modal logics for formulas with coefficients (meta-variables) (Q4925168) (← links)
- Remarks about the unification type of several non-symmetric non-transitive modal logics (Q5241921) (← links)
- Unification in first-order transitive modal logic (Q5241924) (← links)
- Projective unification in weakly transitive and weakly symmetric modal logics (Q5866481) (← links)
- About the unification types of modal logics (Q6612813) (← links)
