Skip to Main content Skip to Navigation
Journal articles

A survey on guarded negation

Luc Segoufin 1
1 DAHU - Verification in databases
LSV - Laboratoire Spécification et Vérification [Cachan], Inria Saclay - Ile de France
Abstract : We consider a logical framework building on existential positive formulas and then adding guarded negations and guarded fixpoints, where the guards are atomic formulas containing all free variables. The resulting first-order and fixpoint logics turn out to have nice algorithmic properties and nice expressive power. We survey some of them.
Document type :
Journal articles
Complete list of metadatas

Cited literature [34 references]  Display  Hide  Download

https://hal.inria.fr/hal-01589314
Contributor : Luc Segoufin <>
Submitted on : Monday, September 18, 2017 - 2:27:03 PM
Last modification on : Thursday, July 2, 2020 - 5:26:03 PM

File

guarded-survey.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution - NonCommercial - NoDerivatives 4.0 International License

Identifiers

  • HAL Id : hal-01589314, version 1

Citation

Luc Segoufin. A survey on guarded negation. ACM SIGLOG News, ACM, 2017, SISLOG News, 4 (3), pp.15. ⟨hal-01589314⟩

Share

Metrics

Record views

151

Files downloads

216