1. A Categorical Perspective on Kripke Models and Dynamic Epistemic Logic（北京大学）
时间：2026/10/20 15:10-18:00
链接：https://mp.weixin.qq.com/s/wpvPcQlP7M1mkJn3ciOZoA
2. Finite-variable Goldblatt-Thomason theorems（北京大学）
时间：2026/10/20 15:10-18:00
链接：https://mp.weixin.qq.com/s/wpvPcQlP7M1mkJn3ciOZoA
3. Why does test-free PDL not have interpolation?（清华大学）
时间：2026/10/20 19:00-20:30
链接：https://mp.weixin.qq.com/s/CMe1qweNA1Ggx2FroOXrgw
4. Nothing is Logical（山东大学）
时间：2026/10/22 15:00-17:00
链接：https://mp.weixin.qq.com/s/37Lq_H7Eyg1ljkuMlJyy9g
5. 南开逻辑讲座第102期--Arkady Leiderman（南开大学）
时间：2026/10/23 16:00-17:00
链接：更新中
了解每周数理逻辑活动，也可发邮件至