О кванторной версии модальной логики Белнапа–Данна

Разрабатывается кванторная версия пропозициональной модальной логики $\mathsf{BK}$ из статьи С. П. Одинцова и Х. Вансинга, в основе которой лежит (немодальная) система Белнапа–Данна; обозначим эту версию через $\mathsf{QBK}$. Сначала с помощью метода канонических моделей докажем, что $\mathsf{QBK}$, как и некоторые важные ее расширения, сильно полна относительно подходящей семантики возможных миров. Затем определим трансляции (в духе Гёделя–МакКинси–Тарского), точно вкладывающие кванторные версии конструктивных логик Нельсона в подходящие расширения $\mathsf{QBK}$. В заключение обсудим интерполяционные свойства для $\mathsf{QBK}$-расширений.
Библиография: 21 название.