Axioms for real-time logics

J. Raskin, P. Schobbens, T.A. Henzinger, Theoretical Computer Science 274 (2002) 151–182.

Download
No fulltext has been uploaded. References only!

Journal Article | Published
Author
; ;
Abstract
This paper presents a complete axiomatization of two decidable propositional real-time linear temporal logics: Event Clock Logic (EventClockTL) and Metric Interval Temporal Logic with past (MetricIntervalTL). The completeness proof consists of an effective proof building procedure for EventClockTL. From this result we obtain a complete axiomatization of MetricIntervalTL by providing axioms translating MetricIntervalTL formulae into EventClockTL formulae, the two logics being equally expressive. Our proof is structured to yield axiomatizations also for interesting fragments of these logics, such as the linear temporal logic of the real numbers (TLR).
Publishing Year
Date Published
2002-03-01
Journal Title
Theoretical Computer Science
Volume
274
Issue
1-2
Page
151 - 182
IST-REx-ID

Cite this

Raskin J, Schobbens P, Henzinger TA. Axioms for real-time logics. Theoretical Computer Science. 2002;274(1-2):151-182. doi:10.1016/S0304-3975(00)00308-X
Raskin, J., Schobbens, P., & Henzinger, T. A. (2002). Axioms for real-time logics. Theoretical Computer Science, 274(1–2), 151–182. https://doi.org/10.1016/S0304-3975(00)00308-X
Raskin, Jean, Pierre Schobbens, and Thomas A Henzinger. “Axioms for Real-Time Logics.” Theoretical Computer Science 274, no. 1–2 (2002): 151–82. https://doi.org/10.1016/S0304-3975(00)00308-X.
J. Raskin, P. Schobbens, and T. A. Henzinger, “Axioms for real-time logics,” Theoretical Computer Science, vol. 274, no. 1–2, pp. 151–182, 2002.
Raskin J, Schobbens P, Henzinger TA. 2002. Axioms for real-time logics. Theoretical Computer Science. 274(1–2), 151–182.
Raskin, Jean, et al. “Axioms for Real-Time Logics.” Theoretical Computer Science, vol. 274, no. 1–2, Elsevier, 2002, pp. 151–82, doi:10.1016/S0304-3975(00)00308-X.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar