Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities

DOI10.1007/978-3-540-85778-5_8zbMath1171.03313OpenAlexW1582415903MaRDI QIDQ3543292

Alexander Rabinovich

Publication date: 2 December 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-85778-5_8

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Temporal logic (03B44)

Related Items (5)

Metric temporal logic revisited ⋮ Bounded variability of metric temporal logic ⋮ Continuous time temporal logic with counting ⋮ Complexity of metric temporal logics with counting and the Pnueli modalities ⋮ Making Metric Temporal Logic Rational

Cites Work

• Quantitative temporal logics over the reals: PSpace and below
• Models for reactivity
• Timer formulas and decidable metric temporal logic
• The benefits of relaxing punctuality
• Expressiveness of Metric modalities for continuous time
• An Expressive Temporal Logic for Real Time
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities