未来一周数理逻辑活动（11.03-11.09）

1. Mini-Course on Update Semantics（北京大学）

    时间：2025/11/04 15:10-18:00

    链接：https://mp.weixin.qq.com/s/Bg04LlwvMllzL4GXYzLpUw        

2. 时态逻辑的克里普克不完全度（清华大学）

    时间：2025/11/06 16:00-17:30

    链接：https://mp.weixin.qq.com/s/ZXM-bOFj3E9bfKOc9Hav_w      

了解每周数理逻辑活动，也可发邮件至cml@nankai.edu.cn订阅每周数理逻辑活动通知，或者关注微信公众号：数理逻辑视界