On Process-Algebraic Extensions of Metric Temporal Logic

DOI10.1007/978-1-84882-912-1_13MaRDI QIDQ3163409zbMATH OpenOpenAlexFDO

Authors Christoph Haase, Joël Ouaknine, James Worrell

Publication date 26 October 2010

Published in Reflections on the Work of C.A.R. Hoare (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-1-84882-912-1_13

zbMATH Keywords

one-clock timed alternating automataone-clock timed propositional temporal logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 7056237
• Some Recent Results in Metric Temporal Logic
• Metric temporal logic revisited
• On metric temporal description logics
• Expressive completeness for metric temporal logic
• Theorem proving for metric temporal logic over the naturals
• Relaxed decidability and the robust semantics of metric temporal logic
• An algebraic approach to temporal logic
• An infinitary variant of Metric Temporal Logic over dense time domains
• scientific article; zbMATH DE number 1786650

Cited in

(4)

• Logics meet 1-clock alternating timed automata
• Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers
• From non-punctuality to non-adjacency: a quest for decidability of timed temporal logics with quantifiers
• Satisfiability checking of multi-variable TPTL with unilateral intervals is PSPACE-complete

This page was built for publication: On Process-Algebraic Extensions of Metric Temporal Logic

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