This includes the study of reasoning about time and events. It deals with temporal operators such as "before", "after", "during", etc.
This includes the study of reasoning about time and events. It deals with temporal operators such as "before", "after", "during", etc.