Unary negation
From MaRDI portal
Publication:2848370
DOI10.2168/LMCS-9(3:25)2013zbMath1285.03004MaRDI QIDQ2848370
Publication date: 26 September 2013
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (7)
Answering regular path queries mediated by unrestricted \(\mathcal{SQ}\) ontologies ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Guarded Negation ⋮ Propositional epistemic logics with quantification over agents of knowledge (an alternative approach) ⋮ One-Dimensional Logic over Trees ⋮ Choice logics and their computational properties
Uses Software
This page was built for publication: Unary negation