Темпоральная логика

Термин «логика» происходит от древнегреческого слова «логос» (logos), основные значения которого связаны с понятиями «мышление» («мысль», «мысль») и «язык», «речь» («слово»). Тогда мышление еще не осознавалось как относительно самостоятельный феномен.
«Логос» в понимании древнегреческого мыслителя Гераклита (VI-V вв до н.э.), который первым прибег к этому термину, - это то, что упорядочивает мир, вечная объективная всеобщая прочная закономерность.

ВВЕДЕНИЕ 3
1. ЛОГИКА С ЛИНЕЙНЫМ ВРЕМЕНЕМ (LTL) 5
2. ЛОГИКА С ВЕТВЯЩИМСЯ ВРЕМЕНЕМ (СTL) 6
3. ЛОГИКА С АЛЬТЕРНИРУЮЩИМ ВРЕМЕНЕМ (АTL) 9
4. ВЕРОЯТНОСТНЫЕ ТЕМПОРАЛЬНЫЕ ЛОГИКИ (PСTL) 10
ЗАКЛЮЧЕНИЕ 13
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ 14