Title of the Report: Compactness in Modal Logics with Applications

Presenter:Wu Guohua

Affiliation: Nanyang Technological University

Date of the Report: July 13, 2024 (Saturday), 11:15-12:00

Location of the Report:Lecture Hall on the Second Floor, Block A, Feicui Science and Education Building

Report Abstract: Compactness is a fundamental topological property in analysis that acts like a bridge between finiteness and infinity. It also has several applications in discrete mathematics, in proofs such as the four-color theorem for countable planar graphs, the countable Ramsey theorem, etc. There is also a compactness theorem for first-order logic. In this talk, we will analyze proofs of the compactness theorem in various modal logics and its applications in the development of modal logics.

Biography of the Presenter:Wu Guohua is an associate professor in the School of Physical and Mathematical Sciences at Nanyang Technological University, Singapore. He received his PhD in computability theory in 2002 under the supervision of Professor Rod Downey at Victoria University of Wellington, New Zealand.