Место издания:Изд-во механико-математического ф-та МГУ Москва Москва
Первая страница:333
Последняя страница:336
Аннотация:Рассматривается объединённая логика задач и высказываний QHC, введённая С. А. Мелиховым. Доказана теорема о полноте данной логики относительно моделей Крипке, получающихся обогащением моделей Крипке с отмеченными мирами для её пропозиционального фрагмента HC. Кроме того, показано, что логика QHC является консервативным расширением предикатного варианта интуиционистской эпистемической логики IEL+, предложенной С.Артёмовым и Т.Протопопеску.