qqglue66703

Temporal logics provide a generic logical framework for modelling and reasoning about time and temporal aspects of the world. While stemming from phil