荷兰阿姆斯特丹大学逻辑、语言与计算研究所（ILLC）硕士，北京大学本科毕业生赵之光于9月17日做了题为“从代数角度看非经典逻辑的典范性”的学术报告。该报告围绕赵之光硕士的学位论文展开，站在命题模态逻辑代数语义学的角度，运用Sahlqvist公式对Jósson-style和Via-correspondence的两种模态逻辑典范性证明进行比较，并试图推广一些已有结果。

　　报告人首先简要介绍了Sahlqvist公式的语形特征，以及用该种公式解决模态公式与一阶公式对应理论和典范性问题的基本思路。之后对Jósson-style和Via-correspondence这两种证明思路的总证明进程与各项技术环节进行了简要阐释，并进行了横向对比，分析了二者的联系与共性，最终得出了以下一些结果：广义的映射典范性扩充理论，有关膨胀语言的项的典范性扩充的序理论，归纳不等式的Jósson-style典范性，以及某一类μ-模态公式的Jósson-style典范性。同时，也对将来可能在μ-模态公式和Fine-style公式的典范性问题上进行的工作做出了展望。

　　报告后赵之光与同学们分享了赴荷兰留学的经验与心得。

　　　　　　　　　　　　　　　　（郑值）