Temporal logic is a branch of mathematical logic that deals with the representation of time and temporal relationships between events.