Pages that link to "Item:Q4930754"
From MaRDI portal
The following pages link to A Decidable Constructive Description Logic (Q4930754):
Displaying 11 items.
- Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\) (Q946573) (← links)
- Towards constructive DL for abstraction and refinement (Q972423) (← links)
- \(\mathcal {BCDL}\): Basic constructive description logic (Q972431) (← links)
- Deciding inseparability and conservative extensions in the description logic (Q1041590) (← links)
- Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models (Q2351164) (← links)
- <i>KALC</i>: a constructive semantics for <i>ALC</i> (Q2901214) (← links)
- (Q4386924) (← links)
- (Q4576256) (← links)
- (Q4707763) (← links)
- Constructive Description Logics Hybrid-Style (Q4917077) (← links)
- Non-normal Modal description logics (Q6545543) (← links)