| 
|
Quote: formulas in temporal logic easier to read than first-order logic and decidable; useful for reactive systems; e.g., P will hold eventually
topics >
all references >
references t-z >
Topic:
logic
Topic:
temporal relationships
Quotation Skeleton
Evolution over time is a characteristic of most … and "Q will hold until P holds" have … temporal logic has two advantages over [first-order logic]: @ Formulas in temporal logic are easier to read, and … full first-order logics are undecidable. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: logic (84 items)
Topic: temporal relationships (40 items)