Отправить статью по E-mail 
Динамическая логика знания DKpr: её металогические характеристики
- Авторы: Ледников ЕЕ1
-
Учреждения:
- Российский университет дружбы народов
- Выпуск: № 3 (2009)
- Страницы: 93-99
- Раздел: Статьи
- URL: https://journals.rudn.ru/philosophy/article/view/11727
Цитировать
Полный текст
Аннотация
В статье показано, что авторская первопорядковая модальная логика знания DKpr является непротиворечивой и полной, что для неё справедливы теоремы компактности, Левенгейма-Сколема и интерполяционная теорема Крейга.
Ключевые слова
Об авторах
Е Е Ледников
Российский университет дружбы народовКафедра онтологии и теории познанияФакультет гуманитарных и социальных наук; Российский университет дружбы народов
Список литературы
- Ледников Е.Е. Возможность и предпосылки динамической концепции знания // Вестник РУДН. Серия Философия. - 2008. - № 3. - С. 98-102.
- Ледников Е.Е. Об одном варианте динамической логики знания // Логические исследования. - М.: Наука, 2007. - Вып. 14. - С. 218-223.
- Ледников Е.Е. Семантика первопорядковой динамической логики знания // Логические исследования. - М.: Наука, 2009. - Вып. 15. - С. 129-136.
- Fitting Melvin. Model existence theorems for modal and intuitionistic logics // The journal of symbolic logic. - 1973. - V. 36. - N. 4, Dec. - P. 613-627.
