Аннотация:
В работе рассматривается топологическое произведение модальных логик S4.1 и S4 и доказывается, что оно равно соединению этих логик плюс одна аксиома специального вида. В работе также доказывается разрешимость этого произведения. Это первый из известных примеров логик, топологическое произведение которых находится строго между соединением и расширяющимся произведением самих логик.
Ключевые слова:модальная логика, топологическая семантика, произведение модальных логик, аксиома Маккинси.
УДК:510.643
Статья представлена к публикации:Л. Д. Беклемишев Поступило: 15.05.2023 После доработки: 01.11.2023 Принято к публикации: 27.11.2023