Pages that link to "Item:Q4917077"
From MaRDI portal
The following pages link to Constructive Description Logics Hybrid-Style (Q4917077):
Displaying 8 items.
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- \(\mathcal {BCDL}\): Basic constructive description logic (Q972431) (← links)
- Description logics with contraries, contradictories, and subcontraries (Q2478592) (← links)
- <i>KALC</i>: a constructive semantics for <i>ALC</i> (Q2901214) (← links)
- Constructive Formalization of Hybrid Logic with Eventualities (Q3100197) (← links)
- A Decidable Constructive Description Logic (Q4930754) (← links)
- Bridges from Language to Logic: Concepts, Contexts and Ontologies (Q5179013) (← links)
- Non-distributive description logic (Q6541145) (← links)