ICC 25427
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Branching counter systems and logics of repeating values on data trees
Autor/es:
DIEGO FIGUEIRA; SERGIO ABRIOLA; SANTIAGO FIGUEIRA
Lugar:
Concepción
Reunión:
Simposio; XVIII Latin American Symposium on Mathematical Logic; 2019
Resumen:
We study connections between Branching Vector Addition Systems (BVAS) and the satisfiability problem for data-aware logics on data trees. We consider a natural temporal logic of ``repeating values´´ (LRV) which, in addition to having navigational CTL-like modalities, can also test whether a data value in the current node is repeated in some descendant node.
