Abstract
We propose a first-order logic TFL of timed frames extended with
signals.
This logic combines a simple syntax with a high expressivity; it can
distinguish frames that are not the same as sets states and
transitions.
We show how Dicky logic and CTL can be embedded in TFL.
Electronic version.