The following pages link to Unary negation (Q2848370):
Displaying 11 items.
- Choice logics and their computational properties (Q2082503) (← links)
- Propositional epistemic logics with quantification over agents of knowledge (an alternative approach) (Q2323640) (← links)
- Answering regular path queries mediated by unrestricted \(\mathcal{SQ}\) ontologies (Q2680773) (← links)
- Unary negation (Q3113699) (← links)
- Querying the Unary Negation Fragment with Regular Path Expressions. (Q3305361) (← links)
- (Q4400926) (← links)
- (Q5092374) (← links)
- (Q5092376) (← links)
- One-Dimensional Logic over Trees (Q5111281) (← links)
- Guarded negation (Q5890544) (← links)
- Craig interpolation for decidable first-order fragments (Q6629523) (← links)