Time: 9:00-12:00 on Oct. 31st (Thursday), Nov. 1st (Friday) and Nov. 7th (Thursday), 

Location: Room B112, Lee Shau Kee Humanities Buildings No.2（李兆基人文学苑2号楼）

Title: Introduction to Provability Logic and Reflection Algebras

Lecturer: Lev Beklemishev (Steklov Mathematical Institute, Russian Academy of Sciences)

References:

G. Boolos. The logic of provability, 1993.
S. Artemov, L. Beklemishev. Provability logic, in: Handbook of philosophical logic, 2006.
L. Beklemishev. Reflection principles and provability algebras in formal arithmetic, Russian Math. Surveys, 2005. https://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=rm&paperid=1401&option_lang=eng