The following pages link to (Q4463936):
Displaying 17 items.
- Intuitionistic hybrid logic: introduction and survey (Q764256) (← links)
- Bounded linear-time temporal logic: a proof-theoretic investigation (Q764266) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Axioms for classical, intuitionistic, and paraconsistent hybrid logic (Q851196) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\) (Q946573) (← links)
- \(\mathcal {BCDL}\): Basic constructive description logic (Q972431) (← links)
- Combining linear-time temporal logic with constructiveness and paraconsistency (Q975875) (← links)
- Paraconsistent computation tree logic (Q1758667) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- Description logics with contraries, contradictories, and subcontraries (Q2478592) (← links)
- Paraconsistent Modal Logics (Q2825416) (← links)
- On Non-transitive “Identity” (Q3305680) (← links)
- Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity (Q3387886) (← links)
- Reasoning with Uncertain and Inconsistent OWL Ontologies (Q4647816) (← links)
- On the Methodology of Paraconsistent Logic (Q5213765) (← links)
- On the quantified version of the Belnap-Dunn modal logic (Q6582282) (← links)
