Pages that link to "Item:Q2867944"
From MaRDI portal
The following pages link to Hybrid logics and ontology languages (Q2867944):
Displaying 8 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)
- Foundations of logic programming in hybrid logics with user-defined sharing (Q2358621) (← links)
- Foundations of Logic Programming in Hybridised Logics (Q2787338) (← links)
- Towards World Identification in Description Logics (Q5882770) (← links)