--- _id: '4597' abstract: - lang: eng text: 'A unifying framework for the study of real-time logics is developed. In analogy to the untimed case, the underlying classical theory of timed state sequences is identified, it is shown to be nonelementarily decidable, and its complexity and expressiveness are used as a point of reference. Two orthogonal extensions of PTL (timed propositional temporal logic and metric temporal logic) that inherit its appeal are defined: they capture elementary, yet expressively complete, fragments of the theory of timed state sequences, and thus are excellent candidates for practical real-time specification languages' article_processing_charge: No author: - first_name: Rajeev full_name: Alur, Rajeev last_name: Alur - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 citation: ama: 'Alur R, Henzinger TA. Real-time logics: Complexity and expressiveness. In: 5th Annual IEEE Symposium on Logic in Computer Science. IEEE; 1990:390-401. doi:10.1109/LICS.1990.113764' apa: 'Alur, R., & Henzinger, T. A. (1990). Real-time logics: Complexity and expressiveness. In 5th Annual IEEE Symposium on Logic in Computer Science (pp. 390–401). Philadelphia, PA, USA: IEEE. https://doi.org/10.1109/LICS.1990.113764' chicago: 'Alur, Rajeev, and Thomas A Henzinger. “Real-Time Logics: Complexity and Expressiveness.” In 5th Annual IEEE Symposium on Logic in Computer Science, 390–401. IEEE, 1990. https://doi.org/10.1109/LICS.1990.113764.' ieee: 'R. Alur and T. A. Henzinger, “Real-time logics: Complexity and expressiveness,” in 5th Annual IEEE Symposium on Logic in Computer Science, Philadelphia, PA, USA, 1990, pp. 390–401.' ista: 'Alur R, Henzinger TA. 1990. Real-time logics: Complexity and expressiveness. 5th Annual IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 390–401.' mla: 'Alur, Rajeev, and Thomas A. Henzinger. “Real-Time Logics: Complexity and Expressiveness.” 5th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1990, pp. 390–401, doi:10.1109/LICS.1990.113764.' short: R. Alur, T.A. Henzinger, in:, 5th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1990, pp. 390–401. conference: end_date: 1990-06-07 location: Philadelphia, PA, USA name: 'LICS: Logic in Computer Science' start_date: 1990-06-04 date_created: 2018-12-11T12:09:40Z date_published: 1990-08-06T00:00:00Z date_updated: 2022-02-15T14:35:30Z day: '06' doi: 10.1109/LICS.1990.113764 extern: '1' language: - iso: eng main_file_link: - url: https://ieeexplore.ieee.org/document/113764 month: '08' oa_version: None page: 390 - 401 publication: ' 5th Annual IEEE Symposium on Logic in Computer Science' publication_identifier: isbn: - 0-8186-2073-0 publication_status: published publisher: IEEE publist_id: '112' quality_controlled: '1' scopus_import: '1' status: public title: 'Real-time logics: Complexity and expressiveness' type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 year: '1990' ...