---
_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'
...