发布时间:2024-07-11 浏览次数:

告题目:Compactness in Modal Logics with applications

报告人:Wu Guohua

单位:Nanyang Technological University



报告摘要: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.

邮编:230601 联系电话:0551-6290 1380
Copyright @ 2023 合肥工业大学计算机与信息学院 皖公网安备 34011102000080号 皖ICP备05018251号-1