Описание:Овремененные высказывания и временные модальности. Разнообразие моделей времени. Временной поток как множество моментов и как множество интервалов, временные отношения на них. Свойства временного потока (линейность, ветвление, бесконечность, дискретность, плотность, полнота, протяженность) и их выразимость в языке классической логики предикатов.
Прайоровские системы временной логики. Минимальная система Kt и ее расщирения. Аксиоматизация системы Kt. Модельные структуры Крипке. Теорема о непротиворечивости и полноте системы Kt, проблема разрешимости (выполнимости и общезначимости формул) для системы Kt. Добавочные аксиомы и ограничения отношения временного порядка.
Проблема выразимости свойств временного потока в различных языках временной логики. Расширения прайоровского языка временной логики. Сравнение выразительных возможностей языков пропозициональной временной логики и классической логики предикатов первого порядка. Теорема Кампа.
Логика линейного времени PLTL, ее язык и семантика. Аналитико-табличная формализация системы PLTL.
Логики ветвящегося времени, языки и подходы к построению семантики. Представления ветвящегося времени в оккамовских структурах и структурах Кампа. Структуры с выделенными историями. Аксиоматизации логик ветвящегося времени.