A survey on guarded negation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles ACM SIGLOG News Year : 2017

A survey on guarded negation

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.
Fichier principal
Vignette du fichier
guarded-survey.pdf (249.31 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01589314 , version 1 (18-09-2017)

Licence

Attribution - NonCommercial - NoDerivatives

Identifiers

  • HAL Id : hal-01589314 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More