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

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Logic in computer science (03B70) 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)

• Reasoning about real-time repetitions: Terminating and nonterminating
• Temporal stream logic modulo theories
• Temporal logics of repeating values
• 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
• Branching-time logics repeatedly referring to states

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)