内容简介：典范性问题是以模态逻辑为代表的非经典逻辑中的重要问题，与完全性证明有密切关系。这次报告将会从代数语义的角度，对两种典范性证明的方法进行比较，并推广一些已有的结果。

时间：9月17日周二下午15:10-18:00

地点：三教408

主讲人简介：赵之光，荷兰阿姆斯特丹大学逻辑，语言与计算研究所（ILLC）硕士，北京大学哲学系本科毕业。