|
Complexity of the interpretability logic IL
Luka Mikeca, Fedor Pakhomovbc, Mladen Vukovića a Department of Mathematics, Faculty of Science, University of Zagreb, Croatia
b Steklov Mathematical Institute of Russian Academy of Sciences, Moscow, Russia
c National Research University Higher School of Economics, Moscow, Russia
Received: 14.05.2018
Linking options:
https://www.mathnet.ru/eng/ljour7
|
Statistics & downloads: |
Abstract page: | 50 |
|