|
Lecture Notes in Comput. Sci., 2017, Volume 10388, Pages 358–371
(Mi lncs19)
|
|
|
|
Global neighbourhood completeness of the Gödel-Löb provability logic
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 was supported by the Russian Science Foundation (grant no. 14-50-00005). |
DOI:
https://doi.org/10.1007/978-3-662-55386-2_26
Bibliographic databases:
Language:
Linking options:
http://mi.mathnet.ru/eng/lncs19
Citing articles on Google Scholar:
Russian citations,
English citations
Related articles on Google Scholar:
Russian articles,
English articles
|
Number of views: |
This page: | 51 |
|