Skip to Main content Skip to Navigation
New interface
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 metadata

Cited literature [34 references]  Display  Hide  Download

https://hal.inria.fr/hal-01589314
Contributor : Luc Segoufin Connect in order to contact the contributor
Submitted on : Monday, September 18, 2017 - 2:27:03 PM
Last modification on : Thursday, January 20, 2022 - 5:27:40 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, 2017, SISLOG News, 4 (3), pp.15. ⟨hal-01589314⟩

Share

Metrics

Record views

60

Files downloads

158