RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирский журнал чистой и прикладной математики // Архив

Вестн. НГУ. Сер. матем., мех., информ., 2005, том 5, выпуск 1, страницы 40–63 (Mi vngu201)

Модальные логики $\alpha$-пространств

В. Ф. Мурзина


Аннотация: В статье исследуются полимодальные логики, связанные с $\alpha$-пространствами Ершова. Найдены полимодальные исчисления, корректные относительно шкал, основанных на $\alpha$-пространствах. Доказана финитная аппроксимируемость этих исчислений.

УДК: 510.643



© МИАН, 2024