Temporal logic

In logic, the term temporal logic is used to describe any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. It is sometimes also used to refer to tense logic, a particular modal logic-based system of temporal logic introduced by Arthur Prior in the 1960s.

For more information, see:

• Anthony Galton, "Temporal Logic" in the Stanford Encyclopedia of Philosophy.

This is a stub article. You can help Wikipedia by improving it.