A framework for decidable metrical logics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1644 LNCS, Issue , 1999, Pages 422-432

  Hirshfeld, Yoram ^a   Rabinovich, Alexander ^a  

^a TEL AVIV UNIVERSITY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; SEMANTICS; TEMPORAL LOGIC;

POSITIVE REAL; THE STANDARD MODEL;

COMPUTABILITY AND DECIDABILITY;

EID: 84887491417     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48523-6_39     Document Type: Conference Paper

References (17)

1. R. Alur, D. Dill A theory of timed Automata. Theoretical Computer Science 126 (1994), 183-235.
2. R. Alur, T. Feder, T.A. Henzinger. The Benefits of Relaxing Punctuality. Journal of the ACM 43 (1996) 116-146.
3. 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 (1992) 74-106.
4. A. Ehrenfeucht. An application of games to the completeness problem for formalized theories. Fundamenta mathematicae 49, 129-141, 1961.
5. D.M. Gabbay, I. Hodkinson, M. Reynolds. Temporal Logics volume 1. Clarendon Press, Oxford (1994).
6. T.A. Henzinger, J.F. Raskin, P.Y. Schobbens. The Regular Real Time Languages. 25th ICALP (1998).
7. Y. Hirshfeld and A. Rabinovich Quantitative Temporal Logic. Submitted, 1998.
8. H. Kamp. Tense Logic and the Theory of Linear Order. Ph.D. thesis, University of California L.A. (1968).
9. M. O. Rabin, Decidability of second order theories and automata on infinite trees. In Trans. Amer. Math. Soc., 141, pp 1-35, 1969.
10. A. Rabinovich. On the Decidability of Continuous Time Specification Formalisms. Journal of Logic and Computation vol.8 No 5, (1998) pp 669-678.
11. A. Rabinovich. On Expressive Completeness of Duration and Mean Value Calculi. Proceedings of Express 97. In the Electronic Notes of Theoretical Computer Science vol 7, 1997.
12. A. Rabinovich. Expressive Completeness of Duration Calculus. To appear in Journal of Information and Computation.
13. A. Ravn, H. Rischel and K. Hansen. Specifying and verifying requirement of real time systems. IEEE Transaction on Software Eng., 1993.
14. S. Shelah. The monadic theory of order. Ann. of Math., 102, pp 349-419, 1975.
15. J. Skakkbak, A. Ravn, H. Rischel, Zhou Chaochen. Specification of Embedded Real time Systems. In Proc. of 1992 Euromicro workshop on Real Time Systems. IEEE Computer Society Press.
16. Zhou Chaochen, C.A.R. Hoare and A. Ravn. A calculus of Duration. Information processing Letters, 40(5):269-279, 1991.
17. 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 (1994), 694-715.