News 11月21日 应明生教授报告 11月14日 王昊玉报告 11月7日 唐闻报告 10月31日 Danielle Macbeth报告 洪博同学荣获第二届天辅最佳学生论文奖(LORI-IX) Events 11-21 11月21日应明生教授讲座 10-27 10月31日Danielle Macbeth教授讲座 10-19 10月24日姚博凯博士讲座 10-17 10月17日Kyle Gannon博士讲座 09-26 9月26日Hans Rott教授和朱薇博士讲座 Seminars 11-27 11月28日 报告人:龚霖振 题目:Structures of Borel Se… 11-21 11月21日 报告人:应明生 题目:Quantum Hoare Logic an… 11-12 11月14日 报告人:王昊玉 题目:从知识逻辑的视角分析直… 11-05 11月7日 报告人:唐闻 题目:Matching Logic Quick links 《逻辑学前沿问题》本学期计划 北京大学哲学系逻辑学研究生手册 2023秋季学期开设课程 北京大学“宋文坚逻辑学奖学金”评审办法 LaTeX模板及Word常用逻辑符号集 北京大学图书馆所购买的逻辑学相关期刊 招生信息 逻辑学科点介绍 博士生招生简介 博士生招生方向 博士生复试要求 硕士生招生简介 推免生复试要求 常用链接 【LLCC】北京大学语言•逻辑•认知•计算跨学科论坛 中山大学逻辑与认知研究所 西南大学逻辑与智能研究中心 浙江大学语言与认知研究中心 清华大学-阿姆斯特丹逻辑学联合研究中心 【ILLC】荷兰阿姆斯特丹大学逻辑、语言与计算研究所(ILLC) 【CSLI】美国斯坦福大学语言与信息研究中心(CSLI) 【LORI】ILLC“逻辑与理性”交互小组 英国伦敦国王学院“逻辑、语言和计算”小组 复旦大学数理逻辑小组