A Decidable Temporal Logic of Repeating Values

DOI10.1007/978-3-540-72734-7_13zbMath1132.03337OpenAlexW1499852347MaRDI QIDQ5434506

Régis Gascon, Deepak D'Souza, Stéphane P. Demri

Publication date: 4 January 2008

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: http://eprints.iisc.ac.in/41460/1/10.1.1.117.2716.pdf

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

Related Items

Temporal stream logic modulo theories ⋮ Logics of Repeating Values on Data Trees and Branching Counter Systems ⋮ Extending two-variable logic on data trees with order on data values and its automata