Temporal logic

This type of logic focuses on time and temporal relationships, analyzing propositions in terms of their truth conditions over different time periods.