In dictionaries:
Linear temporal logic
In logic, linear temporal logic or linear-time temporal logicLogic in Computer Science: Modelling and Reasoning about Systems: page 175 is a modal temporal logic with modalities referring to time.
Temporal logic of actions
a logic developed by Leslie Lamport, which combines temporal logic with a logic of actions.
more...