Successor-Invariant First-Order Logic on Classes of Bounded Degree - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Successor-Invariant First-Order Logic on Classes of Bounded Degree

Julien Grange
  • Fonction : Auteur
  • PersonId : 1055780

Résumé

We study the expressive power of successor-invariant first-order logic, which is an extension of first-order logic where the usage of an additional successor relation on the structure is allowed, as long as the validity of formulas is independent on the choice of a particular successor. We show that when the degree is bounded, successor-invariant first-order logic is no more expressive than first-order logic.
Fichier principal
Vignette du fichier
succ_inv_bounded_degree.pdf (426.59 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02882118 , version 1 (26-06-2020)

Identifiants

Citer

Julien Grange. Successor-Invariant First-Order Logic on Classes of Bounded Degree. LICS 2020 - Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken / Virtual, Germany. ⟨10.1145/3373718.3394767⟩. ⟨hal-02882118⟩
144 Consultations
136 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More