Введение
1 Основные определения и теоремы 13
1. Семантика Крипке 13
2. Допустимые правила вывода 21
2 Логика LTKr 23
3. LT Кг-фреймы 23
4. р-морфные образы ЬТКг-фреймов 25
5. Синтаксис LTKr 28
6. Свойства n-канонической модели LTKr
3 Разрешимость логики LTKr 38
4 Правила вывода LTKr
7. Строение п-характеристической модели LTKr 45
8. Разрешимость по допустимости правил вывода LTKr 47
Заключение 65
Список литературы
