1. An Epistemic First-Order Modal Logic for Actual Causality (北京大学)
时间:2026/11/10 15:10-17:00
链接:https://mp.weixin.qq.com/s/Elrlso-Jjibayh3U2c7HRg
2. Open Cores in Hrushovski Constructions (复旦大学)
时间:2026/11/11 13:30
链接:https://mp.weixin.qq.com/s/piJgYo8Ht0cw5aVUo60ggQ
3. Strategic knowledge in multi-agent systems (中山大学)
时间:2026/11/11 15:00
链接:https://mp.weixin.qq.com/s/7G56cVrflSP3YWfRh-ReUw
4. 南开逻辑讲座第103期--Samuel Murray(南开大学)
时间:2026/11/13 09:00-10:00
链接:https://mp.weixin.qq.com/s/bqSx6OP70NJm2EXfpvo92Q
了解每周数理逻辑活动,也可发邮件至