Динамическая логика знания DKpr: её металогические характеристики

В статье показано, что авторская первопорядковая модальная логика знания DKpr является непротиворечивой и полной, что для неё справедливы теоремы компактности, Левенгейма-Сколема и интерполяционная теорема Крейга.

Dynamic Logic of Knowledge DKpr: its Metalogical Properties

The paper shows that the author's first order modal logic of knowledge DKpr is consistent and complete, that compactness theorem, Lewenheim-Skolem theorem and Craig interpolation theorem may be true of it.

Авторы
Издательство
Федеральное государственное автономное образовательное учреждение высшего образования Российский университет дружбы народов (РУДН)
Номер выпуска
3
Язык
Русский
Страницы
93-99
Статус
Опубликовано
Год
2009
Организации
  • 1 Российский университет дружбы народов
Ключевые слова
динамическая логика; эпистемология; методология; металогика; dynamic logic; epistemology; methodology; metalogic
Цитировать
Поделиться

Другие записи

Найдыш В.М., Гнатик Е.Н.
Вестник Российского университета дружбы народов. Серия: Философия. Федеральное государственное автономное образовательное учреждение высшего образования Российский университет дружбы народов (РУДН). 2009. С. 31-39
Гнатик Е.Н., Дуденкова И.В.
Вестник Российского университета дружбы народов. Серия: Философия. Федеральное государственное автономное образовательное учреждение высшего образования Российский университет дружбы народов (РУДН). 2009. С. 114-119