By this author

Topological product of modal logics with McKinsey axiom

Issue number 1 from 15.11.2024

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

52 0