Temporal Logic

Temporal Logic [plato, wp] and The Temporal Logic of Actions

To get a full sense of an event, a “tense” is mandatory.