# Definition:Temporal Logic

Jump to navigation
Jump to search

## Definition

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

## Also see

- Results about
**temporal logic**can be found here.

## Sources

- 1993: M. Ben-Ari:
*Mathematical Logic for Computer Science*... (previous) ... (next): Chapter $1$: Introduction: $\S 1.4$: Non-standard logics