Pages that link to "Item:Q946573"
From MaRDI portal
The following pages link to Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\) (Q946573):
Displaying 14 items.
- A hybrid calculus for logic \(N^{*}\): residual finiteness and decidability (Q695777) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Towards constructive DL for abstraction and refinement (Q972423) (← links)
- \(\mathcal {BCDL}\): Basic constructive description logic (Q972431) (← links)
- Combining linear-time temporal logic with constructiveness and paraconsistency (Q975875) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- Inconsistency-tolerant reasoning with OWL DL (Q2353974) (← links)
- Composition of an intuitionistic negation and negative modalities as a necessity operator (Q2434603) (← links)
- A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics (Q2813672) (← links)
- Logical foundations and complexity of 4QL, a query language with unrestricted negation (Q2901212) (← links)
- <i>KALC</i>: a constructive semantics for <i>ALC</i> (Q2901214) (← links)
- Inconsistency-Tolerant Multi-Agent Calculus (Q3448622) (← links)
- On the Methodology of Paraconsistent Logic (Q5213765) (← links)
- Bisimilarity for paraconsistent description logics (Q5283396) (← links)
