1. Admissible Semantics for Modal Logics（北京大学）
时间：2025/09/09 15:10-17:10
链接：https://logic.pku.edu.cn/xzdt/zxtz/542253.htm
2. Quantified Temporal Logic for Real Time（北京大学）
时间：2025/09/12 15:10-17:10
链接：https://logic.pku.edu.cn/xzdt/zxtz/542253.htm
了解每周数理逻辑活动，也可发邮件至