# Definition:Temporal Logic

## Definition

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

sometimes
always.

## Also see

• Results about temporal logic can be found here.