| 
|
Quote: tense operator 'since'; q1 S q2 iff q2 was true at some past moment and q1 has been true since then
topics >
all references >
references m-o >
Topic:
temporal relationships
Quotation Skeleton
Intuitively, the tense operators U and S stand … some future moment and q1 will be true … moment and q1 has been true since then. … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: tense operator 'until'; q1 U q2 iff q2 will be true at some future moment and q1 is true until then
Topic: temporal relationships (40 items)