The following pages link to (Q3085175):
Displaying 6 items.
- Tractable extensions of the description logic \({\mathcal{EL}}\) with numerical datatypes (Q438566) (← links)
- Modal companions of \(K4^+\) (Q2082262) (← links)
- Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor (Q2374390) (← links)
- On the positive fragment of the polymodal provability logic GLP (Q2435945) (← links)
- Unification in the Description Logic $\mathcal{EL}$ (Q3636834) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
