Pages that link to "Item:Q2867944"
From MaRDI portal
The following pages link to Hybrid Logics and Ontology Languages (Q2867944):
Displayed 6 items.
- On the relationship between fuzzy description logics and many-valued modal logics (Q1726404) (← links)
- Formalizing a Seligman-style tableau system for hybrid logic (short paper) (Q2096470) (← links)
- A prover dealing with nominals, binders, transitivity and relation hierarchies (Q2303237) (← links)
- A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities (Q2351166) (← links)
- Extended decision procedure for a fragment of HL with binders (Q2351423) (← links)
- Towards World Identification in Description Logics (Q5882770) (← links)