Linear Temporal Logic

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A temporal logic interpreted over linear time structures where formulas are evaluated over single infinite sequences (timelines); common operators include X (next), F (eventually), G (always), and U (until).