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

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

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


Матем. сб.:
Год:
Том:
Выпуск:
Страница:
Найти




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

Математический сборник, 2024, том 215, номер 3, страницы 37–69
DOI: https://doi.org/10.4213/sm9981 (Mi sm9981) 		 
О кванторной версии модальной логики Белнапа–Данна

А. В. Грефенштейн, С. О. Сперанский

Математический институт им. В. А. Стеклова Российской академии наук, г. Москва
PDF полного текста (805 kB) Первая страница PDF английской версии (618 kB)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.4213/sm9981
Аннотация: Разрабатывается кванторная версия пропозициональной модальной логики $\mathsf{BK}$ из статьи С. П. Одинцова и Х. Вансинга, в основе которой лежит (немодальная) система Белнапа–Данна; обозначим эту версию через $\mathsf{QBK}$. Сначала с помощью метода канонических моделей докажем, что $\mathsf{QBK}$, как и некоторые важные ее расширения, сильно полна относительно подходящей семантики возможных миров. Затем определим трансляции (в духе Гёделя–МакКинси–Тарского), точно вкладывающие кванторные версии конструктивных логик Нельсона в подходящие расширения $\mathsf{QBK}$. В заключение обсудим интерполяционные свойства для $\mathsf{QBK}$-расширений.
Библиография: 21 название.
Ключевые слова: модальная логика, конструктивная логика, сильное отрицание, семантика возможных миров, квантификация.
Финансовая поддержка Номер гранта
Российский научный фонд 23-11-00104
Исследование выполнено за счет гранта Российского научного фонда № 23-11-00104, https://rscf.ru/project/23-11-00104/.
Поступила в редакцию: 13.07.2023 и 14.11.2023
Англоязычная версия:
Sbornik: Mathematics, 2024, Volume 215, Issue 3, Pages 323–354
DOI: https://doi.org/10.4213/sm9981e
Реферативные базы данных:
Тип публикации: Статья
MSC: 03B45, 03B50, 03B53
Образец цитирования: А. В. Грефенштейн, С. О. Сперанский, “О кванторной версии модальной логики Белнапа–Данна”, Матем. сб., 215:3 (2024), 37–69; A. V. Grefenshtein, S. O. Speranski, “On the quantified version of the Belnap–Dunn modal logic”, Sb. Math., 215:3 (2024), 323–354
Цитирование в формате AMSBIB
\RBibitem{GreSpe24}
\by А.~В.~Грефенштейн, С.~О.~Сперанский
\paper О кванторной версии модальной логики Белнапа--Данна
\jour Матем. сб.
\yr 2024
\vol 215
\issue 3
\pages 37--69
\mathnet{http://mi.mathnet.ru/sm9981}
\crossref{https://doi.org/10.4213/sm9981}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=4774062}
\zmath{https://zbmath.org/?q=an:07891400}
\adsnasa{https://adsabs.harvard.edu/cgi-bin/bib_query?2024SbMat.215..323G}
\transl
\by A.~V.~Grefenshtein, S.~O.~Speranski
\paper On the quantified version of the Belnap--Dunn modal logic
\jour Sb. Math.
\yr 2024
\vol 215
\issue 3
\pages 323--354
\crossref{https://doi.org/10.4213/sm9981e}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=001283662800003}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85199914742}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/sm9981
  • https://doi.org/10.4213/sm9981
  • https://www.mathnet.ru/rus/sm/v215/i3/p37
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Математический сборник Sbornik: Mathematics
    Статистика просмотров:
    Страница аннотации:475
    PDF русской версии:26
    PDF английской версии:38
    HTML русской версии:43
    HTML английской версии:173
    Список литературы:32
    Первая страница:28
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024