"Temporal" logics deal with propositions qualified in terms of time, e.g. "I will be hungry until I eat something."
Temporal logic has important applications in formal methods.