Введение
Глава 1. Формулировка алгоритма 10
1. Логика ветвящегося времени. Основные понятия 10
2. Построение схемы модели 16
3. Фильтрование схемы модели 24
4. Построение модели 30
Глава 2. Обоснование алгоритма 39
5. Свойства правил алгоритма 39
6. Завершаемость алгоритма 54
7. Корректность алгоритма 63
8. Полнота алгоритма 75
9. Схемы моделей и суммарные схемы моделей 86
Глава 3. Применение алгоритма 116
10. Построение вывода общезначимых формул из аксиом 116
11. Пример применения алгоритма к решению шахматной задачи 136
Заключение 151
Литература 152
