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

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

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



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






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


Доклады Российской академии наук. Математика, информатика, процессы управления, 2023, том 513, страницы 99–107
DOI: https://doi.org/10.31857/S2686954323600325
(Mi danma422)
 

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

МАТЕМАТИКА

Полупроизведения, произведения и предикатные модальные логики: некоторые примеры

В. Б. Шехтманa, Д. П. Шкатовb

a Математический институт им. В.А. Стеклова Российской академии наук, Москва, Россия
b School of Computer Science and Applied Mathematics, University of the Witwatersrand, Johannesburg, South Africa
Список литературы:
Аннотация: В работе изучаются полупроизведения и произведения пропозициональных модальных логик с S5 и их связь с предикатными модальными логиками. Приводятся примеры пропозициональных модальных логик, полупроизведения и произведения которых с S5 аксиоматизируются минимальным образом (т.е. эти логики согласованы с S5 по полупроизведению и по произведению), а также примеры логик, не обладающих этими свойствами. Финитная аппроксимируемость и согласованность по полупроизведению с S5 обеспечивают разрешимость соответствующих предикатных модальных логик.
Ключевые слова: полупроизведения модальных логик, произведения модальных логик, предикатныe модальныe логики.
Финансовая поддержка Номер гранта
Российский научный фонд 21-11-00318
Работа первого автора выполнена в Математическом институте им. В.А. Стеклова РАН при поддержке Российского научного фонда в рамках проекта 21-11-00318.
Статья представлена к публикации: Л. Д. Беклемишев
Поступило: 12.05.2023
После доработки: 03.10.2023
Принято к публикации: 18.10.2023
Англоязычная версия:
Doklady Mathematics, 2023, Volume 108, Issue 2, Pages 411–418
DOI: https://doi.org/10.1134/S1064562423701296
Реферативные базы данных:
Тип публикации: Статья
Образец цитирования: В. Б. Шехтман, Д. П. Шкатов, “Полупроизведения, произведения и предикатные модальные логики: некоторые примеры”, Докл. РАН. Матем., информ., проц. упр., 513 (2023), 99–107; Dokl. Math., 108:2 (2023), 411–418
Цитирование в формате AMSBIB
\RBibitem{SheShk23}
\by В.~Б.~Шехтман, Д.~П.~Шкатов
\paper Полупроизведения, произведения и предикатные модальные логики: некоторые примеры
\jour Докл. РАН. Матем., информ., проц. упр.
\yr 2023
\vol 513
\pages 99--107
\mathnet{http://mi.mathnet.ru/danma422}
\crossref{https://doi.org/10.31857/S2686954323600325}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1047863}
\elib{https://elibrary.ru/item.asp?id=56716612}
\transl
\jour Dokl. Math.
\yr 2023
\vol 108
\issue 2
\pages 411--418
\crossref{https://doi.org/10.1134/S1064562423701296}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/danma422
  • https://www.mathnet.ru/rus/danma/v513/p99
  • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Доклады Российской академии наук. Математика, информатика, процессы управления Доклады Российской академии наук. Математика, информатика, процессы управления
    Статистика просмотров:
    Страница аннотации:45
    Список литературы:12
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024