Оператор двойного отрицания в логике $N^*$

Найдена аксиоматизация оператора двойного отрицания Раутли в логике $N^*$ в качестве модального оператора необходимости. Сформулирована логика $N^{\sharp}$, описывающая поведение двойного отрицания Раутли, задана ее семантика Крипке, доказана ее полнота относительно заданной семантики, а также ее финитная аппроксимируемость и разрешимость. Проведено сопоставление конструктивных свойств логик $N^*$ и $N^{\sharp}$.