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

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

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






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


Log. J. IGPL, статья опубликована online (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

DOI: https://doi.org/10.1093/jigpal/jzy012


Тип публикации: Статья
Поступила в редакцию: 04.04.2018
Язык публикации: английский

Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/ljour4

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Просмотров:
    Эта страница:2

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2018