Диссертация - Аналитико—табличная формализация систем временной логики
Содержание
Оглавление
Введение • 2
1 Аналитические таблицы для логических систем с модальностями: различные подходы к построению 10
§1 Родственные методы и история возникновения ... 10
§2 Аналитические таблицы... 15
2 Аналитико-табличная формализация стандартных систем временной логики 37
§1 Стандартные (прайоровские) системы
временной логики...37
§2 Аналитические таблицы и свойства шкал Крипке...40
§3 Аналитические таблицы для временной
системы Kt...44
§4 Непротиворечивость и полнота
системы TKt...49
§5 Аналитические таблицы для расширений
временной системы Kt...86
§6 Аналитико-табличные формализации систем временной логики с нестандартным отношением между прошлым и будущим ...101
Заключение 106
