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.
Type de document :
Article dans une revue
ACM SIGLOG News, ACM, 2017, SISLOG News, 4 (3), pp.15
Liste complète des métadonnées

Littérature citée [34 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01589314
Contributeur : Luc Segoufin <>
Soumis le : lundi 18 septembre 2017 - 14:27:03
Dernière modification le : jeudi 11 janvier 2018 - 06:22:14

Fichier

guarded-survey.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité - Pas d'utilisation commerciale - Pas de modification 4.0 International License

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

83

Téléchargements de fichiers

71