|
Log. J. IGPL, 2015, Volume 23, Issue 5, Pages 789–815
(Mi ljour1)
|
|
|
|
Nested sequents for provability logic GLP
Daniyar Shamkanov Steklov Mathematical Institute of Russian Academy of Sciences, Gubkina str. 8, 119991, Moscow, Russia
Funding Agency |
Grant Number |
Russian Science Foundation  |
14-50-00005 |
This work is supported by the Russian Science Foundation under grant (14-50-00005). |
DOI:
https://doi.org/10.1093/jigpal/jzv029
Bibliographic databases:
Received: 13.11.2014
Language:
Linking options:
http://mi.mathnet.ru/eng/ljour1
Citing articles on Google Scholar:
Russian citations,
English citations
Related articles on Google Scholar:
Russian articles,
English articles
|
Number of views: |
This page: | 49 |
|