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