scientific article

DOI10.4230/LIPIcs.STACS.2011.344zbMath1230.03068arXiv1309.2069MaRDI QIDQ3113699

Luc Segoufin, Balder ten Cate

Publication date: 23 January 2012

Full work available at URL: https://arxiv.org/abs/1309.2069

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

fixed point logicdecidabilityconjunctive queriesmonadic Datalogunary negation

Mathematics Subject Classification ID

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

Related Items (3)

Effective Interpolation and Preservation in Guarded Logics ⋮ SOME MODEL THEORY OF GUARDED NEGATION ⋮ Guarded Negation

This page was built for publication: