Unary negation

DOI10.4230/LIPICS.STACS.2011.344MaRDI QIDQ3113699zbMATH OpenFDO

Authors Balder ten Cate, Luc Segoufin

Publication date 23 January 2012

Full work available at URL https://arxiv.org/abs/1309.2069, http://subs.emis.de/LIPIcs/frontdoor_84d4.html

zbMATH Keywords

conjunctive queriesdecidabilityfixed point logicmonadic Datalogunary negation

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25) Logic in computer science (03B70) Database theory (68P15)

Recommendations

• Unary negation
• Unary negation fragment with equivalence relations has the finite model property
• Interpolation with decidable fixpoint logics
• Guarded negation
• Guarded negation

Cited in

(10)

• Unary negation
• Querying the unary negation fragment with regular path expressions
• scientific article; zbMATH DE number 1182836 (Why is no real title available?)
• Interpolation with decidable fixpoint logics
• SOME MODEL THEORY OF GUARDED NEGATION
• Finite satisfiability of unary negation fragment with transitivity
• Unary negation fragment with equivalence relations has the finite model property
• Effective interpolation and preservation in guarded logics
• Guarded negation
• Proof systems for two-way modal -calculus

This page was built for publication: Unary negation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3113699)