Assertion: temporal logic | /r/CapableOf | formalize temporal statements
Facets:
Source sentences:
text: is concerned with the notions of and . temporal logic formalizes temporal statements, and provides past, present and future tense (and aspect also)