|
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
Поступила в редакцию: 04.04.2018
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ljour4
|
Статистика просмотров: |
Страница аннотации: | 84 |
|