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

Основной задачей является аксиоматизация операторов $-\lnot$ в логике $N^*$ и $-\square'$ в логике $HK\square'$. Результат формулируется в виде нормальных расширений $HKN\square'$ и $HKNR$ логики $HK\square$, которые погружаются в соответствующие логики при помощи естественной трансляции. Кроме того, для логики $HKNR$ устанавливается свойство конечных моделей и разрешимость при помощи гибридного исчисления.