Модальные напарники специальных расширений конструктивной логики Нельсона

Белнаповская версия $\mathsf{BS4}$ нормальной модальной логики $\mathsf{S4}$ соотносится с конструктивной логикой Нельсона $\mathsf{N4}^{\bot}$ примерно также, как логика $\mathsf{S4}$ с интуиционистской логикой. Поэтому естественно определять модальные напарники расширений логики $\mathsf{N4}^{\bot}$ как расширения Белнаповской модальной логики $\mathsf{BS4}$. В данной работе доказано, что для каждого специального расширения $L$ логики $\mathsf{N4}^{\bot}$ логика $\tau^BL$, где $\tau^B$ – естественная модификация отображения $\tau$, сопоставляющего суперинтуиционистской логике ее наименьший модальный напарник, является наименьшим модальным напарником логики $L$ в классе расширений логики $\mathsf{BS4}$.
Библиография: 23 названия.