Pages that link to "Item:Q647403"
From MaRDI portal
The following pages link to Best unifiers in transitive modal logics (Q647403):
Displayed 3 items.
- Unification in pretabular extensions of S4 (Q2239389) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality (Q6200449) (← links)