Loading [MathJax]/jax/output/SVG/config.js
Lecture Notes in Computer Science
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Main page
About this project
Software
Classifications
Links
Terms of Use
Search papers
Search references
RSS
Current issues
Archive issues
What is RSS
Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register
Lecture Notes in Computer Science, 2017, Volume 10388,
Pages
358–371
DOI:
https://doi.org/10.1007/978-3-662-55386-2_26
(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
DOI:
https://doi.org/10.1007/978-3-662-55386-2_26
Funding agency
Grant number
Russian Science Foundation
14-50-00005
This work was supported by the Russian Science Foundation (grant no. 14-50-00005).
Bibliographic databases:
Document Type:
Article
Language:
English
Linking options:
https://www.mathnet.ru/eng/lncs19
Citing articles in Google Scholar:
Russian citations
,
English citations
Related articles in Google Scholar:
Russian articles
,
English articles
Statistics & downloads
:
Abstract page:
105
Contact us:
email
Terms of Use
Registration to the website
Logotypes
©
Steklov Mathematical Institute RAS
, 2025