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

Gerald Berger^a, L. D. Beklemishev^bc, Hans Tompits<sup>a

a</sup> 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

Язык публикации: английский

DOI: 10.1093/jigpal/jzy012

Реферативные базы данных:

• 
• 
•