# 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:

This article is incomplete.You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by expanding it.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Stub}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |

## 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