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