Введение
1 Логики а-пространств 11
1.1 Основные понятия 11
1.1.1 Топологические пространства Ершова 11
1.1.2 Модальные логики и шкалы Крипке 14
1.1.3 Канонические модели 17
1.1.4 Финитно модельное свойство и фильтрации . 18
1.2 Теорема о корректности 19
1.3 Логические исчисления LD и I/ 25
1.4 Канонические модели для LD и I 29
1.5 Разрешимость исчислений LD, I/ 35
2 Модальная логика строго линейно упорядоченных шкал 46
2.1 Постановка задачи 46
2.2 Lf и структура канонической модели 49
2.3 Теорема о полноте 52
2.4 Финитная аппроксимируемость Lf 62
3 Временная логика строго линейно упорядоченных пространств 66
3.1 Теорема о корректности 66
3.2 Канонические модели для L*f и L*fo 69
3.3 Теорема о полноте 70
3.4 Финитная аппроксимируемость L*f, L*fo 86
