Martin Kronenburg, Thomas Deiß, Robert Eschbach
Universität Kaiserslautern
Fachbereich Informatik
Postfach 3049
67653 Kaiserslautern, Germany

Temporal Logics as Examples of Formal Description Techniques for Timed Systems,
SFB 501, Internal Report 07/98, Universität Kaiserslautern, 1998.
(Gzipped Postscript, 159 KB, 48 pp)

The notion of formal description techniques for timed systems (T-FDTs) has been introduced in EsDeKr98a to provide a unifying framework for description techniques that are formal and that allow to describe the ongoing behavior of systems. In this paper we show that three well known temporal logics, MTL, MTL-∫, and CTL*, can be embedded in this framework. Moreover, we provide evidence that a large number of different kinds of temporal logics can be considered as T-FDTs.