|
|
Scientific session of the Steklov Mathematical Institute of RAS dedicated to the results of 2017
November 29, 2017 11:30–11:45, Moscow, Steklov Mathematical Institute of RAS, Conference Hall (8 Gubkina)
|
 |
|
 |
|
|
|
Global completeness of the Gödel-Löb provability logic with respect to its topological semantics
D. S. Shamkanov
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
|
| Video records: |
 |
MP4 |
119.6 Mb |
|
MP4 |
436.7 Mb |
| Number of views: |
| This page: | 302 | | Video files: | 42 | | Youtube: | |
 Photo Gallery
|
References
-
Daniyar Shamkanov, “Global neighbourhood completeness of the Gödel-Löb provability logic”, Logic, Language, Information, and Computation, 24th International Workshop, WoLLIC 2017 (London, UK, July 18-21, 2017), Lecture Notes in Comput. Sci., 10388, eds. Juliette Kennedy and Ruy de Queiroz, Springer, 2017, 358–371
  
|
|
