Skip to main content

In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time

In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time