Video library: D. S. Shamkanov, Global completeness of the Gödel-Löb provability logic with respect to its topological semantics

VIDEO LIBRARY


Scientific session of the Steklov Mathematical Institute of RAS dedicated to the results of 2017 November 29, 2017 11:30, Moscow, Steklov Mathematical Institute of RAS, Conference Hall (8 Gubkina)

Global completeness of the Gödel-Löb provability logic with respect to its topological semantics D. S. Shamkanov Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
https://youtu.be/VsfwmZoGv8g References Daniyar Shamkanov, “Global neighbourhood completeness of the Gödel-Lö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