| 
|
Quote: TRIO--a first-order temporal logic language with a linear notion of time
topics >
all references >
references c-d >
Topic:
logic
Topic:
temporal relationships
Quotation Skeleton
TRIO is a first-order temporal logic language that … TRIO formulas are constructed in the classical inductive … compose TRIO formulas by using a single basic … to another time instant: the formula Dist(F,t) … specifies that F holds at a time instant … [p. 87] [From Dist you can derive temporal operators for Future, Past, Always, Sometimes, Lasts, Lasted, WithinFuture] Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: derive future, past, always, sometimes, lasts, lasted, withinFuture from Dist(F,t)--F holds at t time units from the current instant
Topic: logic (84 items)
Topic: temporal relationships (40 items)