- Код статьи
- 10.31857/S2686954324010138-1
- DOI
- 10.31857/S2686954324010138
- Тип публикации
- Статья
- Статус публикации
- Опубликовано
- Авторы
- Том/ Выпуск
- Том 515 / Номер выпуска 1
- Страницы
- 84-91
- Аннотация
- В работе рассматривается топологическое произведение модальных логик S4.1 и S4 и доказывается, что оно равно соединению этих логик плюс одна аксиома специального вида. В работе также доказывается разрешимость этого произведения. Это первый из известных примеров логик, топологическое произведение которых находится строго между соединением и расширяющимся произведением самих логик.
- Ключевые слова
- модальная логика топологическая семантика произведение модальных логик аксиома Маккинси
- Дата публикации
- 15.11.2024
- Год выхода
- 2024
- Всего подписок
- 0
- Всего просмотров
- 56
Библиография
- 1. Bezhanishvili G., Esakia L., Gabelaia D. Some results on modal axiomatization and definability for topological spaces // Studia Logica. 2005. Vol. 81 (3). P. 325–355.
- 2. Bezhanishvili G., Gabelaia D., Lucero-Bryan J. Modal logics of metric spaces // The Review of Symbolic Logic. 2015. Vol. 8 (1). P. 178–191.
- 3. Bezhanishvili G., Harding J. Modal logics of Stone spaces // Order. 2012. Vol. 29 (2). P. 271–292.
- 4. Blackburn P., de Rijke M., Venema Y. Modal Logic. Cambridge University Press, 2002.
- 5. Chagrov A., Zakharyaschev M. Modal Logic. Clarendon Press, Oxford, 1997.
- 6. Gabbay D.M., Kurucz A., Wolter F., Zakharyaschev M. Many-dimensional modal logics: theory and applications / Studies in logic and the foundations of mathematics. Vol. 148. Elsevier, 2003.
- 7. Gabelaia D. Modal Definability in Topology. Master thesis. ILLC, University of Amsterdam, 2001.
- 8. Goldblatt R. The McKinsey axiom is not canonical // The Journal of Symbolic Logic. 1991. Vol. 56 (2. P. 54–562.
- 9. Kremer P. The topological product of S4 and S5. Unpublished, 2011.
- 10. Kudinov A., Shapirovsky I. Finite model property of pretransitive analogs of S5 // Russian Mathematical Surveys. 2012. Vol. 67 (4). P. 721–777.
- 11. Kudinov A. Modal logic of some products of neighborhood frames // Advances in Modal Logic. 2012. P. 386–394.
- 12. Kudinov A. On neighbourhood product of some Horn axiomatizable logics // Logic Journal of the IGPL. 2018. Vol. 26 (3). P. 316–338.
- 13. Benthem van J., Bezhanishvili G., Cate B., Sarenac D. Multimodal logics of products of topologies // Studia Logica. 2006. Vol. 84. P. 369–392.
- 14. Benthem van J., Bezhanishvili G. Modal logics of space / Handbook of spatial logics. Springer, 2007. P. 217–298.
- 15. Дробышевич С.А., Одинцов С.П., Сперанский С.О. Введение в неклассические логики. Новосибирск: РИЦ НГУ, 2014.
