Temporal Logic
Home
>
Mathematics
>
Set Theory
>
Set Theory and Logic
>
Temporal Logic
This type of Logic is used to reason about the progression of time.