A really temporal logic
Alur R, Henzinger TA. 1989. A really temporal logic. 30th Annual Symposium on Foundations of Computer Science. FOCS: Foundations of Computer ScienceFCOS, 164–169.
Download
No fulltext has been uploaded. References only!
Conference Paper
| Published
| English
Author
Alur, Rajeev;
Henzinger, Thomas AISTA 
Abstract
A real-time temporal logic for the specification of reactive systems is introduced. The novel feature of the logic, TPTL, is the adoption of temporal operators as quantifiers over time variables; every modality binds a variable to the time(s) it refers to. TPTL is demonstrated to be both a natural specification language and a suitable formalism for verification and synthesis. A tableau-based decision procedure and model-checking algorithm for TPTL are presented. Several generalizations of TPTL are shown to be highly undecidable.
Publishing Year
Date Published
1989-01-01
Proceedings Title
30th Annual Symposium on Foundations of Computer Science
Publisher
IEEE
Acknowledgement
We thank Zohar Manna, Amir Pnueli, and David Dill for their guidance. Moshe Vardi and Joe Halpern gave us very helpful advice for refilling our undecidability results.
Page
164 - 169
Conference
FOCS: Foundations of Computer Science
Conference Location
Research Triangle Park, NC, USA
Conference Date
1989-10-30 – 1989-11-01
ISBN
ISSN
eISSN
IST-REx-ID
Cite this
Alur R, Henzinger TA. A really temporal logic. In: 30th Annual Symposium on Foundations of Computer Science. FCOS. IEEE; 1989:164-169. doi:10.1109/SFCS.1989.63473
Alur, R., & Henzinger, T. A. (1989). A really temporal logic. In 30th Annual Symposium on Foundations of Computer Science (pp. 164–169). Research Triangle Park, NC, USA: IEEE. https://doi.org/10.1109/SFCS.1989.63473
Alur, Rajeev, and Thomas A Henzinger. “A Really Temporal Logic.” In 30th Annual Symposium on Foundations of Computer Science, 164–69. FCOS. IEEE, 1989. https://doi.org/10.1109/SFCS.1989.63473.
R. Alur and T. A. Henzinger, “A really temporal logic,” in 30th Annual Symposium on Foundations of Computer Science, Research Triangle Park, NC, USA, 1989, pp. 164–169.
Alur R, Henzinger TA. 1989. A really temporal logic. 30th Annual Symposium on Foundations of Computer Science. FOCS: Foundations of Computer ScienceFCOS, 164–169.
Alur, Rajeev, and Thomas A. Henzinger. “A Really Temporal Logic.” 30th Annual Symposium on Foundations of Computer Science, IEEE, 1989, pp. 164–69, doi:10.1109/SFCS.1989.63473.
Google Scholar
ISBN Search