Tense logic
Redirect to:
Temporal logic