报告题目：Compactness in Modal Logics with applications

报告人：Wu Guohua

单位：Nanyang Technological University

报告时间：2024年7月13日(周六)上午11:15-12:00

报告地点：翡翠科教楼A座二楼报告厅

报告摘要：Compactness is a fundamental topological property in analysis, which behaves like a bridge between finiteness and infinity. It also has several applications in discrete mathematics, in proofs, like the four-color theorem for countable planar graphs, countable Ramsey theorem, etc. We also have compactness theorem for first-order logic. In this talk, we will analyze proofs of compactness theorem in various modal logics, and its applications in the development of modal logics.

报告人简介：Wu Guohua is an associate professor in School of Physical and Mathematical Sciences, Nanyang Technological University, Singapore. He obtained his PhD degree on computability theory in 2002, under the supervision of Professor Rod Downey in Victoria University of Wellington, New Zealand.