Temporal Logics on Words with Multiple Data Values.

DOI10.4230/LIPIcs.FSTTCS.2010.481zbMath1245.03021arXiv1010.1139OpenAlexW2157064837MaRDI QIDQ2908879

Thomas Schwentick, Ahmet Kara, Thomas Zeume

Publication date: 29 August 2012

Full work available at URL: https://arxiv.org/abs/1010.1139

zbMATH Keywords

decidabilitytemporal logicexpressivenessdata words

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items (8)

On temporal logics with data variable quantifications: decidability and complexity ⋮ Unnamed Item ⋮ Logics of Repeating Values on Data Trees and Branching Counter Systems ⋮ Walking on data words ⋮ Playing with Repetitions in Data Words Using Energy Games ⋮ Weak and Nested Class Memory Automata ⋮ On Freeze LTL with Ordered Attributes ⋮ An Automaton over Data Words That Captures EMSO Logic

This page was built for publication: Temporal Logics on Words with Multiple Data Values.