---
_id: '4408'
abstract:
- lang: eng
  text: 'This paper presents a complete axiomatization of fully decidable propositional
    real-time linear temporal logics with past: the Event Clock Logic (ECL) and the
    Metric Interval Temporal Logic with past (MITL). The completeness proof consists
    of an effective proof building procedure for ECL. From this result we obtain a
    complete axiomatization of MITL by providing axioms translating MITL formulae
    into ECL formulae, the two logics being equally expressive. Our proof is structured
    to yield a similar axiomatization and procedure for interesting fragments of these
    logics, such as the linear temporal logic of the real numbers (LTR).'
acknowledgement: This work is supported in part by the ONR YIP award N00014-95-1-0520,
  by the NSF CAREER award CCR-9501708, by the NSF grant CCR-9504469, by the DARPA/NASA
  grant NAG2-1214, by the ARO MURI grant DAAH-04-96-1-0341, by the SRC contract 97-DC-324.041,
  the Belgian National Fund for Scientific Research (FNRS), the European Commission
  under WGs Aspire and Fireworks, the Portuguese FCT, and by Belgacom.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Jean
  full_name: Raskin, Jean
  last_name: Raskin
- first_name: Pierre
  full_name: Schobbens, Pierre
  last_name: Schobbens
- 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: 'Raskin J, Schobbens P, Henzinger TA. Axioms for real-time logics. In: <i>Proceedings
    of the 9th Interantional Conference on Concurrency Theory</i>. Vol 1466. Schloss
    Dagstuhl - Leibniz-Zentrum für Informatik; 1998:219-236. doi:<a href="https://doi.org/10.1007/BFb0055625">10.1007/BFb0055625</a>'
  apa: 'Raskin, J., Schobbens, P., &#38; Henzinger, T. A. (1998). Axioms for real-time
    logics. In <i>Proceedings of the 9th Interantional Conference on Concurrency Theory</i>
    (Vol. 1466, pp. 219–236). Nice, France: Schloss Dagstuhl - Leibniz-Zentrum für
    Informatik. <a href="https://doi.org/10.1007/BFb0055625">https://doi.org/10.1007/BFb0055625</a>'
  chicago: Raskin, Jean, Pierre Schobbens, and Thomas A Henzinger. “Axioms for Real-Time
    Logics.” In <i>Proceedings of the 9th Interantional Conference on Concurrency
    Theory</i>, 1466:219–36. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998.
    <a href="https://doi.org/10.1007/BFb0055625">https://doi.org/10.1007/BFb0055625</a>.
  ieee: J. Raskin, P. Schobbens, and T. A. Henzinger, “Axioms for real-time logics,”
    in <i>Proceedings of the 9th Interantional Conference on Concurrency Theory</i>,
    Nice, France, 1998, vol. 1466, pp. 219–236.
  ista: 'Raskin J, Schobbens P, Henzinger TA. 1998. Axioms for real-time logics. Proceedings
    of the 9th Interantional Conference on Concurrency Theory. CONCUR: Concurrency
    Theory, LNCS, vol. 1466, 219–236.'
  mla: Raskin, Jean, et al. “Axioms for Real-Time Logics.” <i>Proceedings of the 9th
    Interantional Conference on Concurrency Theory</i>, vol. 1466, Schloss Dagstuhl
    - Leibniz-Zentrum für Informatik, 1998, pp. 219–36, doi:<a href="https://doi.org/10.1007/BFb0055625">10.1007/BFb0055625</a>.
  short: J. Raskin, P. Schobbens, T.A. Henzinger, in:, Proceedings of the 9th Interantional
    Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
    1998, pp. 219–236.
conference:
  end_date: 1998-09-11
  location: Nice, France
  name: 'CONCUR: Concurrency Theory'
  start_date: 1998-09-08
date_created: 2018-12-11T12:08:42Z
date_published: 1998-01-01T00:00:00Z
date_updated: 2022-08-24T12:15:17Z
day: '01'
doi: 10.1007/BFb0055625
extern: '1'
intvolume: '      1466'
language:
- iso: eng
month: '01'
oa_version: None
page: 219 - 236
publication: Proceedings of the 9th Interantional Conference on Concurrency Theory
publication_identifier:
  isbn:
  - '9783540648963'
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '323'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Axioms for real-time logics
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 1466
year: '1998'
...