Expressiveness of metric modalities for continuous time

Logical Methods in Computer Science

Volumn 3, Issue 1, 2007, Pages

  Hirshfeld, Yoram ^a   Rabinovich, Alexander ^a  

^a TEL AVIV UNIVERSITY   (Israel)

Author keywords

Expressive completeness; Real Time; Temporal Logics

Indexed keywords

CONTINUOUS TIME SYSTEMS; FORMAL LOGIC; TEMPORAL LOGIC;

CONTINUOUS-TIME; EXPRESSIVE COMPLETENESS; METRIC TEMPORAL LOGIC; POSITIVE REAL; REAL LINE; REAL TIME;

COMPUTER CIRCUITS;

EID: 57649235691     PISSN: None     EISSN: 18605974     Source Type: Journal    
DOI: 10.2168/LMCS-3(1:3)2007     Document Type: Article

References (18)

1. R. Alur, T. Feder, T.A. Henzinger. The Benefits of Relaxing Punctuality. Journal of the ACM 43 116-146, (1996).
2. R. Alur, T.A. Henzinger. Logics and Models of Real Time: a survey. In Real Time: Theory and Practice. Editors de Bakker et al. LNCS 600 74-106, (1992).
3. H. Barringer, R. Kuiper, A. Pnueli. A really abstract concurrent model and its temporal logic. Proceedings of the 13th annual symposium on principles of programing languages 173-183, (1986).
4. H.D. Ebbinghaus, J. Flum, Finite Model Theory. Perspectives in mathematical logic, Springer (1991).
5. D.M. Gabbay, I. Hodkinson, M. Reynolds. Temporal Logics volume 1. Clarendon Press, Oxford (1994).
6. D.M. Gabbay, A. Pnueli, S. Shelah, J. Stavi. On the Temporal Analysis of Fairness. 7th ACM Symposium on Principles of Programming Languages. Las Vegas 163-173, (1980).
7. T.A. Henzinger. It’s about time: real-time logics reviewed. In Concur 98, Lecture Notes in Computer Science 1466, pp. 439-454, (1998).
8. T.H Henziger, J.F Raskin, P.Y Schobbens. The regular real time languages. ICALP98, pp. 580-591, (1998).
9. Y. Hirshfeld and A. Rabinovich, A Framework for Decidable Metrical Logics. In Proc. 26th ICALP Colloquium, LNCS vol.1644, pp. 422-432, Springer Verlag, (1999).
10. Y. Hirshfeld and A. Rabinovich. Quantitative Temporal Logic. In Computer Science Logic 1999, LNCS vol. 1683, pp. 172-187, Springer Verlag (1999).
11. Y. Hirshfeld and A. Rabinovich, Logics for Real Time: Decidability and Complexity. Fundam. Inform. 62(1):1-28 (2004).
12. Y. Hirshfeld and A. Rabinovich, Timer formulas and decidable metric temporal logic. Information and Computation Vol 198(2), pp. 148-178, (2005).
13. H. Kamp. Tense Logic and the Theory of Linear Order. Ph.D. thesis, University of California L.A. (1968).
14. Z. Manna, A. Pnueli. Models for reactivity. Acta informatica 30:609-678, (1993).
15. R. Koymans. Specifying Real-Time Properties with Metric Temporal Logic. Real-Time Systems 2(4):255-299, (1990).
16. A. Rabinovich. Expressive Power of Temporal Logics In Proc. 13th Int. Conf. on Concurrency Theory, vol. 2421 of Lecture Notes in Computer Science, pp. 57-75. Springer, (2002).
17. S. Shelah. The monadic theory of order. Ann. of Math., 102, pp. 349-419, (1975).
18. T. Wilke. Specifying Time State Sequences in Powerful Decidable Logics and Time Automata. In Formal Techniques in Real Time and Fault Tolerance Systems. LNCS 863, pp. 694-715, (1994).