Definition:Temporal Logic

Definition
Temporal logic is a subcategory of modal logic which introduces time, by defining the concepts:


 * sometimes
 * always.