Временная логика

Временная логика – раздел логики, изучающий время и его отношения с истинностью.
Временная логика включает в себя различные системы, такие как линейная временная логика (LTL), временная логика дерева вычислений (CTL) и другие.
Временная логика содержит модальные операторы, связанные с истинностью и временем.
Синтаксис и семантика временной логики определяются с помощью грамматики BNF и моделей Крипке.
Логика включает в себя различные системы позиционной логики, такие как LTL, CTL, ITL и другие.
Временная логика включает в себя множество систем, таких как сигнальная временная логика (STL), временная логика временных меток (TTL) и другие.
Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.

Полный текст статьи:

Временная логика — Википедия