Предикатный вариант совместной логики задач и высказываний

Рассматривается совместная логика задач и высказываний $\mathrm{QHC}$, введенная С. А. Мелиховым. Строятся модели Крипке с отмеченными мирами этой логики, показывается корректность и полнота логики $\mathrm{QHC}$ относительно этого типа моделей. Показана консервативность логики $\mathrm{QHC}$ относительно интуиционистской модальной логики $\mathrm{QH4}$, совпадающей с “lax logic” $\mathrm{QLL}^+$. Построены модели Крипке с отмеченными мирами логики $\mathrm{QH4}$, доказана теорема о корректности и полноте. Также доказаны дизъюнктивное и экзистенциальное свойства логик $\mathrm{QHC}$ и $\mathrm{QH4}$.
Библиография: 33 названия.