Temporal logic

Is focused on concepts of past, present, and future events.