It deals with reasoning about the relationship between propositions referring to different points in time.