Assertion: temporal logic | /r/Synonym | tense logic
Facets:
Source sentences:
text: In temporal logic (also known as tense logic), there are two basic operators, \(G\) for the future, and \(H\) for the past.