Статьи автора

Топологическое произведение модальных логик с аксиомой Маккинси

Номер выпуска 1 от 15.11.2024

В работе рассматривается топологическое произведение модальных логик S4.1 и S4 и доказывается, что оно равно соединению этих логик плюс одна аксиома специального вида. В работе также доказывается разрешимость этого произведения. Это первый из известных примеров логик, топологическое произведение которых находится строго между соединением и расширяющимся произведением самих логик.

52 0