1. A fine alternation hierarchy of the modal μ-calculus（北京大学）
时间：2026/04/28 15:10
链接：https://mp.weixin.qq.com/s/gs2OY2vtOssk9131jNoKlg
2. Planning and Theory of Mind（山东大学）
时间：2026/04/29 15:00-17:00
链接：https://mp.weixin.qq.com/s/P0OrhO0pengU4EcR0WXRdA
3. Finitism revisited: Takeuti’s philosophy of mathematics（复旦大学）
时间：2026/04/29 18:30
链接：https://mp.weixin.qq.com/s/ssAYnk2gfUoSKaKtvOWntA
4. Dynamic Logic of Propositional Assignments（山东大学）
时间：2026/04/30 14:00-17:00
链接：https://mp.weixin.qq.com/s/PgPc3zU1C96cXTkRqoE_-A
了解每周数理逻辑活动，也可发邮件至