報(bào)告題目：Compactness in Modal Logics with applications
報(bào)告人：Wu Guohua
單位：Nanyang Technological University
報(bào)告時(shí)間：2024年7月13日(周六)上午11:15-12:00
報(bào)告地點(diǎn)：翡翠科教樓A座二樓報(bào)告廳
報(bào)告摘要：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.
報(bào)告人簡介：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.
TOP
