Abstract: Для расширений конструктивной логики Нельсона $\mathbf{N4}^{\bot}$ их модальные напарники определяются как расширения Белнаповской модальной логики BS4, в которые данной $\mathbf{N4}^{\bot}$-расширение вкладывается посредством естественной модификации трансляции Геделя-Тарского. В докладе рассматриваются вопросы переноса на модальные напарники таких свойств $\mathbf{N4}^{\bot}$-расширений как табличность, предтабличность, свойство конечных моделей, расрешимость, интерполяционное свойство Крейга.

Cite: Odintsov S.P.
On transferring properties of $\mathbf{N4}^{\bot}$-extensions to their modal companion
Международная конференция "Мальцевские чтения" 10-14 Nov 2025