Category:Definitions/Temporal Logic

From ProofWiki

Jump to navigation Jump to search

This category contains definitions related to Temporal Logic.
Related results can be found in Category:Temporal Logic.

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

Pages in category "Definitions/Temporal Logic"

This category contains only the following page.

T

Definition:Temporal Logic

Retrieved from "https://proofwiki.org/w/index.php?title=Category:Definitions/Temporal_Logic&oldid=448670"