What Does Temporal Logic Mean?
Temporal logic is a branch of symbolic logic which is concerned with problems on propositions that have truth values dependent on time. Temporal logic is considered a variant of modal logic, which is a branch of logic dealing with propositions that can be expressed as a set of possible worlds. Temporal logic is used to touch all approaches to reasoning and representation based on time.
Techopedia Explains Temporal Logic
One of the salient features of temporal propositions is that it mostly has either implicit or explicit references to time conditions. This is in contrast to classical logic, which focuses on timeless propositions. Temporal logic is one of the best and most appropriate means for reasoning with time-related propositions, thanks to the temporal quantifiers. Although classical logic can deal with temporal properties, the formulas often tend to be complicated as points of time need to be represented.
