Динамическая логика знания DKpr: её металогические характеристики
- Авторы: Ледников ЕЕ1
-
Учреждения:
- Российский университет дружбы народов
- Выпуск: № 3 (2009)
- Страницы: 93-99
- Раздел: Статьи
- URL: https://ogarev-online.ru/2313-2302/article/view/345674
- ID: 345674
Цитировать
Аннотация
В статье показано, что авторская первопорядковая модальная логика знания DKpr является непротиворечивой и полной, что для неё справедливы теоремы компактности, Левенгейма-Сколема и интерполяционная теорема Крейга.
Ключевые слова
Об авторах
Е Е Ледников
Российский университет дружбы народовКафедра онтологии и теории познанияФакультет гуманитарных и социальных наук; Российский университет дружбы народов
Дополнительные файлы
