Pages that link to "Item:Q647403"
From MaRDI portal
The following pages link to Best unifiers in transitive modal logics (Q647403):
Displaying 8 items.
- A syntactic approach to unification in transitive reflexive modal logics (Q286704) (← links)
- Unification in pretabular extensions of S4 (Q2239389) (← links)
- Unifiers in transitive modal logics for formulas with coefficients (meta-variables) (Q4925168) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- Unification in first-order transitive modal logic (Q5241924) (← links)
- Filtering unification and most general unifiers in modal logic (Q5311759) (← links)
- Projective unification in weakly transitive and weakly symmetric modal logics (Q5866481) (← links)
- Linear step-like logic of knowledge \(\mathcal{LTK}.{sl} \) (Q6587464) (← links)
