Assertion: temporal logic | /r/HasAspect | next-time
Facets:
value: typically
type: DEGREE
Source sentences:
text: Linear-time temporal logic typically has temporal operators such as next-time, always (in the future), sometime (in the future), until and since.