Семантика типа Крипке для пропозициональной логики задач и высказываний

Рассматривается пропозициональный фрагмент $\mathrm{HC}$ объединенной логики задач и высказываний, введенной C. A. Мелиховым. Строятся модели типа Крипке для этой логики, доказывается полнота логики $\mathrm{HC}$ относительно таких моделей, а также свойство конечных моделей. Рассмотрены примеры применения моделей типа Крипке логики $\mathrm{HC}$ для решения некоторых вопросов (в частности, доказательство того, что $\mathrm{HC}$ является консервативным расширением логики $\mathrm{H4}$). Также показано, что логика $\mathrm{HC}$ полна относительно шкал Крипке с проверяющими мирами, введенных С. Н. Артёмовым и Т. Протопопеску.
Библиография: 31 название.