In addition to being used as a specification language for program verification, Linear Temporal Logic has also found extensive use in artificial intelligence, particularly involving the specification of actions to be taken by agents. LTL has been used to specify temporally extended goals [1]} [2]} [3]} [4]}, plan constraints [1]} [6]} [7]}, and specifying preferences and soft constraints [8]} [9]} [10]}.

Помимо использования в качестве языка спецификации для верификации программ, Линейная Временная Логика также нашла широкое применение в искусственном интеллекте, особенно в связи с указанием действий, которые должны быть выполнены агентами. LTL была использована для указания временно-продолжительных целей, ограничений планов, а также спецификации предпочтений и мягких ограничений. [1]} [2]} [3]} [4]} [6]} [7]} [8]} [9]} [10]}.