Abstract:
The Belnapian version $\mathsf{BS4}$ of the normal modal logic $\mathsf{S4}$ is related to Nelson's constructive logic $\mathsf{N4}^{\bot}$ in approximately the same way as the logic $\mathsf{S4}$ is related to the intuitionistic logic. For this reason, it is natural to define modal companions for logics extending $\mathsf{N4}^{\bot}$ as extensions of the Belnapian modal logic $\mathsf{BS4}$. It is proved that, for every special extension $L$ of $\mathsf{N4}^{\bot}$, the logic $\tau^BL$, where $\tau^B$ is a natural modification of the mapping $\tau$ assigning the least modal companion to each superintuitionistic logic, is the least modal companion of $L$ in the lattice of extensions of $\mathsf{BS4}$.
The results of Secs. 3 and 5 were obtained by S. P. Odintsov and the results of Sec. 4, by A. G. Vishneva.
The work of S. P. Odintsov was financially supported by the Russian Science Foundation, project 23-11-00104,
https://rscf.ru/en/project/23-11-00104/, at Steklov Mathematical Institute of Russian Academy of Sciences.
Citation:
A. G. Vishneva, S. P. Odintsov, “Modal companions for the special extensions of Nelson's constructive logic”, Mat. Zametki, 117:3 (2025), 344–364; Math. Notes, 117:3 (2025), 366–382