Category:Temporal Logic

From ProofWiki
Jump to navigation Jump to search

This category contains results about Temporal Logic.
Definitions specific to this category can be found in Definitions/Temporal Logic.

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


This category currently contains no pages or media.