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 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 : Friday, April 30, 2021 - 9:53:22 AM

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