The following pages link to Paraconsistency in hybrid logic (Q3133184):
Displaying 9 items.
- A four-valued hybrid logic with non-dual modal operators (Q777885) (← links)
- Incoherency problems in a combination of description logics and rules (Q1714687) (← links)
- Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic (Q2043815) (← links)
- A Tableau System for Quasi-Hybrid Logic (Q2817942) (← links)
- Reasoning with inconsistencies in hybrid MKNF knowledge bases (Q4925173) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464717) (← links)
- (Q5855501) (← links)
- Relation-changing models meet paraconsistency (Q6156935) (← links)
- Many-valued modalities and paraconsistency (Q6623951) (← links)
