This is a type of Boolean Algebra that deals with the handling of time and temporal relationships. It includes operations such as "next" and "until," which are used to express logical relationships between events that occur at different points in time.