Temporal logic

Home > Philosophy > Logic > Predicate Logic > Temporal logic

A type of modal logic that deals with concepts of time and causality, and introduces operators like "before", "after", "causes".