Logic Journal of the IGPL
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Главная страница
О проекте
Программное обеспечение
Классификаторы
Полезные ссылки
Пользовательское
соглашение

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

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






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


Logic Journal of the IGPL, 2018, том 26, выпуск 5, страницы 505–538
DOI: https://doi.org/10.1093/jigpal/jzy012
(Mi ljour4)
 

A many-sorted variant of Japaridze's polymodal provability logic

Gerald Bergera, L. D. Beklemishevbc, Hans Tompitsa

a Institute of Logic and Computation, TU Wien, Favoritenstraße, Austria
b Steklov Mathematical Institute of Russian Academy of Sciences, Moscow, Russia
c National Research University Higher School of Economics, Moscow, Russia
Финансовая поддержка Номер гранта
Austrian Science Fund Y698
W1255-N23
OeAD
Российский фонд фундаментальных исследований 15-01-09218
This work was supported by the Austrian Science Fund (FWF) [Y698 to G.B.,W1255-N23 to H.T.], by the Austrian Academy of Sciences [DOC Fellowship to G.B.] and by the Russian Foundation for Basic Research [15-01-09218 to L.D.B.].
Поступила в редакцию: 04.04.2018
Реферативные базы данных:
Тип публикации: Статья
Язык публикации: английский
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/ljour4
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:84
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024