Реализация обратного метода установления выводимости для модальной логики КТ

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ
Актуальность задачи поиска вывода для неклассических логик
Постановка задачи
Обзор родственных работ
Структура работы
ГЛАВА I. ОБЩАЯ СХЕМА ОБРАТНОГО МЕТОДА ДЛЯ ЛОГИЧЕСКОЙ СИСТЕМЫ КТ
1.1. Вводны Е ЗАМЕЧАНИЯ
1 Л.1. Семантика и синтаксис модальной логики знания 1.1.2. Мультимножества и исчислен и е секвен щи
1.2. Общая схема метода
1.3 Прямое и обратное исчисления секвенций для логики знания
ГЛАВА II. ИСЧИСЛЕНИЕ ПУТЕЙ
2.1. Прямое исчисление путей
2. 2. Обратное исчисление путей
ГЛАВА III. АНАЛИЗ ИЗБЫТОЧНОСТЕЙ
3.1. Свойства исчисления путей
3.2. Теорема полноты обратного метода с критериями избыточности
3.3. ФУПОРЯДОЧЕНИЕ
3.4. Теорема полноты обратного метода для обратного ИСЧИСЛЕНИЯ ПУТЕЙ БЕЗ СЕКВЕНЦИЙ, ОТНОСЯЩИХСЯ К
3.5. Предпосылка
3.6. Общий алгоритм установления выводимое ти
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА