, 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:
This is a stub article. You can help Wikipedia by improving it.