Доклады Российской академии наук. Математика, информатика, процессы управления
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Докл. РАН. Матем., информ., проц. упр.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Доклады Российской академии наук. Математика, информатика, процессы управления, 2024, том 515, страницы 84–91
DOI: https://doi.org/10.31857/S2686954324010138 (Mi danma497) 		 
МАТЕМАТИКА

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

А. В. Кудинов

Математический институт им. В.А. Стеклова Российской академии наук, Москва, Россия
DOI: https://doi.org/10.31857/S2686954324010138
Аннотация: В работе рассматривается топологическое произведение модальных логик S4.1 и S4 и доказывается, что оно равно соединению этих логик плюс одна аксиома специального вида. В работе также доказывается разрешимость этого произведения. Это первый из известных примеров логик, топологическое произведение которых находится строго между соединением и расширяющимся произведением самих логик.
Ключевые слова: модальная логика, топологическая семантика, произведение модальных логик, аксиома Маккинси.
Финансовая поддержка Номер гранта
Российский научный фонд 21-11-00318
Работа была поддержана грантом РНФ (проект № 21-11-00318).
Статья представлена к публикации: Л. Д. Беклемишев
Поступило: 15.05.2023
После доработки: 01.11.2023
Принято к публикации: 27.11.2023
Англоязычная версия:
Doklady Mathematics, 2024, Volume 515, Issue 1, Pages 66–72
DOI: https://doi.org/10.1134/S1064562424701825
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.643
Образец цитирования: А. В. Кудинов, “Топологическое произведение модальных логик с аксиомой Mаккинси”, Докл. РАН. Матем., информ., проц. упр., 515 (2024), 84–91; Dokl. Math., 515:1 (2024), 66–72
Цитирование в формате AMSBIB
\RBibitem{Kud24}
\by А.~В.~Кудинов
\paper Топологическое произведение модальных логик с аксиомой Mаккинси
\jour Докл. РАН. Матем., информ., проц. упр.
\yr 2024
\vol 515
\pages 84--91
\mathnet{http://mi.mathnet.ru/danma497}
\crossref{https://doi.org/10.31857/S2686954324010138}
\elib{https://elibrary.ru/item.asp?id=67973254 }
\transl
\jour Dokl. Math.
\yr 2024
\vol 515
\issue 1
\pages 66--72
\crossref{https://doi.org/10.1134/S1064562424701825}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/danma497
  • https://www.mathnet.ru/rus/danma/v515/p84
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Доклады Российской академии наук. Математика, информатика, процессы управления Доклады Российской академии наук. Математика, информатика, процессы управления
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024