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

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

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



Изв. РАН. Сер. матем.:
Год:
Том:
Выпуск:
Страница:
Найти






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


Известия Российской академии наук. Серия математическая, 2025, том 89, выпуск 1, страницы 3–17
DOI: https://doi.org/10.4213/im9592
(Mi im9592)
 

On the unification problem for $\mathrm{GLP}$

L. D. Beklemishev

Steklov Mathematical Institute of Russian Academy of Sciences, Moscow, Russia
Список литературы:
Аннотация: We show that the polymodal provability logic $\mathrm{GLP}$, in a language with at least two modalities and one variable, has nullary unification type. More specifically, we show that the formula $[1]p$ does not have maximal unifiers, and exhibit an infinite complete set of unifiers for it. Further, we discuss the algorithmic problem of whether a given formula is unifiable in $\mathrm{GLP}$ and remark that this problem has a positive solution. Finally, we state the arithmetical analogues of the unification and admissibility problems for $\mathrm{GLP}$ and formulate a number of open questions.
Bibliography: 29 titles.
Ключевые слова: provability logic, unification, admissible rule.
Поступило в редакцию: 07.04.2024
Англоязычная версия:
Izvestiya: Mathematics, 2025, Volume 89, Issue 1, Pages 1–14
DOI: https://doi.org/10.4213/im9592e
Тип публикации: Статья
УДК: 510.643.7
MSC: 03B45, 03E99
Язык публикации: английский
Образец цитирования: L. D. Beklemishev, “On the unification problem for $\mathrm{GLP}$”, Изв. РАН. Сер. матем., 89:1 (2025), 3–17; Izv. Math., 89:1 (2025), 1–14
Цитирование в формате AMSBIB
\RBibitem{Bek25}
\by L.~D.~Beklemishev
\paper On the unification problem for $\mathrm{GLP}$
\jour Изв. РАН. Сер. матем.
\yr 2025
\vol 89
\issue 1
\pages 3--17
\mathnet{http://mi.mathnet.ru/im9592}
\crossref{https://doi.org/10.4213/im9592}
\transl
\jour Izv. Math.
\yr 2025
\vol 89
\issue 1
\pages 1--14
\crossref{https://doi.org/10.4213/im9592e}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/im9592
  • https://doi.org/10.4213/im9592
  • https://www.mathnet.ru/rus/im/v89/i1/p3
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Известия Российской академии наук. Серия математическая Izvestiya: Mathematics
    Статистика просмотров:
    Страница аннотации:151
    PDF английской версии:4
    HTML русской версии:1
    HTML английской версии:13
    Список литературы:8
    Первая страница:5
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025