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