Order-Invariant First-Order Logic over Hollow Trees - 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

Order-Invariant First-Order Logic over Hollow Trees

Julien Grange
  • Fonction : Auteur
  • PersonId : 1055780
Luc Segoufin

Résumé

We show that the expressive power of order-invariant first-order logic collapses to first-order logic over hollow trees. A hollow tree is an unranked ordered tree where every non leaf node has at most four adjacent nodes: two siblings (left and right) and its first and last children. In particular there is no predicate for the linear order among siblings nor for the descendant relation. Moreover only the first and last nodes of a siblinghood are linked to their parent node, and the parent-child relation cannot be completely reconstructed in first-order.
Fichier principal
Vignette du fichier
hollow_tree.pdf (868.75 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02310749 , version 1 (10-10-2019)
hal-02310749 , version 2 (07-04-2020)

Identifiants

Citer

Julien Grange, Luc Segoufin. Order-Invariant First-Order Logic over Hollow Trees. CSL 2020 - 28th annual conference of the European Association for Computer Science Logic, Jan 2020, Barcelona, Spain. pp.1-23, ⟨10.4230/LIPIcs.CSL.2020.23⟩. ⟨hal-02310749v2⟩
244 Consultations
127 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More