A survey on guarded negation

Luc Segoufin 1
1 DAHU - Verification in databases
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
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, February 7, 2019 - 5:29:32 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

117

Files downloads

103