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

Обложка

Аннотация


В статье показано, что авторская первопорядковая модальная логика знания 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.

Просмотры

Аннотация - 22

PDF (Russian) - 33


© Философия, 2016