---
_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:
    <i> 5th Annual IEEE Symposium on Logic in Computer Science</i>. IEEE; 1990:390-401.
    doi:<a href="https://doi.org/10.1109/LICS.1990.113764">10.1109/LICS.1990.113764</a>'
  apa: 'Alur, R., &#38; Henzinger, T. A. (1990). Real-time logics: Complexity and
    expressiveness. In <i> 5th Annual IEEE Symposium on Logic in Computer Science</i>
    (pp. 390–401). Philadelphia, PA, USA: IEEE. <a href="https://doi.org/10.1109/LICS.1990.113764">https://doi.org/10.1109/LICS.1990.113764</a>'
  chicago: 'Alur, Rajeev, and Thomas A Henzinger. “Real-Time Logics: Complexity and
    Expressiveness.” In <i> 5th Annual IEEE Symposium on Logic in Computer Science</i>,
    390–401. IEEE, 1990. <a href="https://doi.org/10.1109/LICS.1990.113764">https://doi.org/10.1109/LICS.1990.113764</a>.'
  ieee: 'R. Alur and T. A. Henzinger, “Real-time logics: Complexity and expressiveness,”
    in <i> 5th Annual IEEE Symposium on Logic in Computer Science</i>, 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.”
    <i> 5th Annual IEEE Symposium on Logic in Computer Science</i>, IEEE, 1990, pp.
    390–401, doi:<a href="https://doi.org/10.1109/LICS.1990.113764">10.1109/LICS.1990.113764</a>.'
  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'
...