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

Рассматривается пропозициональный фрагмент $\mathrm{HC}$ совместной логики задач и высказываний, введенной С. А. Мелиховым. Строятся топологические модели этой логики, показывается корректность и полнота логики $\mathrm{HC}$ относительно этого типа моделей. Также строятся топологические модели логики $\mathrm{H}4$, которая была введена С. Н. Артёмовым и Т. Протопопеску.