3 search results - page 1 / 1 » Complexity of Metric Temporal Logics with Counting and the P... |
FORMATS
2008
Springer
13 years 6 months ago
2008
Springer
The common metric temporal logics for continuous time were shown to be insufficient, when it was proved in [7, 12] that they cannot express a modality suggested by Pnueli. Moreover...
CSR
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. We prove a conjecture by A. Pnueli and strengthen it showing a sequence of "counting modalities" none of which is expressible in the temporal logic generated by...
FOSSACS
2010
Springer
13 years 11 months ago
2010
Springer
This paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying cert...