A Decidable Temporal Logic of Repeating Values

DOI10.1007/978-3-540-72734-7_13MaRDI QIDQ5434506zbMATH OpenOpenAlexFDO

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

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

Temporal logic (03B44) 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)

Recommendations

• Temporal logics of repeating values
• Safely Freezing LTL
• A really temporal logic
• Timer formulas and decidable metric temporal logic
• Decidable metric logics

Cited in

(6)

• Branching-time logics repeatedly referring to states
• Logics of repeating values on data trees and branching counter systems
• Temporal logics of repeating values
• Extending two-variable logic on data trees with order on data values and its automata
• Temporal stream logic modulo theories
• Reasoning about real-time repetitions: Terminating and nonterminating

This page was built for publication: A Decidable Temporal Logic of Repeating Values

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5434506)