News Four presentations at AiML2024 from the PKU logic group Annual Report of PKU Center of Logic, Language, and Cognition (2023) 11月5日 Hans van Ditmarsch教授报告 10月29日 Lev Beklemishev教授报告 10月22日 Mikołaj Bojańczyk教授报告 Events 11-10 Workshop: Many Facets of Epistemic Logic 11-06 [PKU model theory seminar] Nov 6th: Nigel Pynn-Coates 11-05 Nov. 5th Talk by Hans van Ditmarsch 10-31 Minicourse on Provability Logic and Reflection Algebras 10-30 [PKU model theory seminar] Oct 30th: Chuyin Jiang Seminars 11-05 Nov. 5th Talk by Hans van Ditmarsch 10-29 Oct. 29th Talk by Lev Beklemishev 10-22 Oct. 22nd Talk by Mikołaj Bojańczyk 10-15 Oct. 15th Talk by Bruno Bentzen Quick links 《逻辑学前沿问题》本学期计划 北京大学哲学系逻辑学研究生手册 2024秋季学期开设课程 北京大学“宋文坚逻辑学奖学金”评审办法 LaTeX模板及Word常用逻辑符号集 北京大学图书馆所购买的逻辑学相关期刊 招生信息 逻辑学科点介绍 博士生招生简介 博士生招生方向 博士生复试要求 硕士生招生简介 推免生复试要求 常用链接 【LLCC】北京大学语言•逻辑•认知•计算跨学科论坛 中山大学逻辑与认知研究所 西南大学逻辑与智能研究中心 浙江大学语言与认知研究中心 清华大学-阿姆斯特丹逻辑学联合研究中心 【ILLC】荷兰阿姆斯特丹大学逻辑、语言与计算研究所(ILLC) 【CSLI】美国斯坦福大学语言与信息研究中心(CSLI) 【LORI】ILLC“逻辑与理性”交互小组 英国伦敦国王学院“逻辑、语言和计算”小组 复旦大学数理逻辑小组