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

Videolibrary

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

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 Gödel-Löb provability logic with respect to its topological semantics

D. S. Shamkanov

Steklov Mathematical Institute of Russian Academy of Sciences, Moscow

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