Pages that link to "Item:Q5095652"
From MaRDI portal
The following pages link to Projective unification in transitive modal logics (Q5095652):
Displaying 12 items.
- A syntactic approach to unification in transitive reflexive modal logics (Q286704) (← links)
- About the unification type of \(\mathbf{K}+\square \square \bot\) (Q2134937) (← links)
- Finitary unification in locally tabular modal logics characterized (Q2667999) (← links)
- Projective unification in modal logic (Q2903753) (← links)
- Blending margins: the modal logic K has nullary unification type (Q3450207) (← links)
- Unifiers in transitive modal logics for formulas with coefficients (meta-variables) (Q4925168) (← links)
- Ideal Related Algebras and Their Logics Extended Abstract (Q5098744) (← 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)
- Unification types and union splittings in intermediate logics (Q6614043) (← links)
