Seminars

• 2020-12-08 12月8日王轶伦报告：《QS4, Intuitionistic Logic and Forcing》 2020-12-08
• 2020-11-24 12月1日刘明明报告：《Universal Quantification in Mandarin》 2020-11-24
• 2020-11-19 报告人：胡兰双 题目：真理符合论：支持与反对 2020-11-19
• 2020-11-10 Prof. Alan Hajek：Omega 2020-11-10
• 2020-11-09 报告人：王昊玉：Formalizing the Meaning of Questions 2020-11-09
• 2020-11-02 报告人： 刘力恺 题目：一阶模态逻辑初步 2020-11-02
• 2020-10-22 报告人：李大柱 题目：Modal-logical Mereology 2020-10-22
• 2020-10-18 报告人：陈波 题目：《没有事实概念的新符合论》 2020-10-18
• 2020-10-12 报告人：林凯杨 题目：Complete Axiomatizations for Reasoning About Knowledge and Time 2020-10-12
• 2020-09-26 报告人：琚凤魁 题目：Formal language and semantics for temporal conditionals 2020-09-26
• 2020-09-22 报告人：王潇扬 题目：The Completeness Theorems for Lattices 2020-09-22
• 2020-06-02 报告人：杨睿之：集合论宇宙的一些有趣的限制结构 2020-06-02
• 2020-05-20 报告人：Dr. Fan Yang 题目： An overview of dependence logic 2020-05-20
• 2020-05-19 报告人：刘诗霄，陈至诚，Haag 定理及其现有证明、相对化一阶逻辑与ZFC ´∆0片段的公理化 2020-05-19
• 2020-05-11 报告人：徐超：带场景约束的自然语言自动形式化研究 2020-05-11
• 2020-04-27 报告人：钟盛阳：Quantum States: An Analysis via the Indiscriminability Relation 2020-04-27
• 2020-04-19 报告人：郝兆宽：《哲学要从逻辑中学习什么？——读〈逻辑之旅〉第八章》 2020-04-19
• 2020-04-07 Hans van Ditmarsch: One Hundred Prisoners and a Light Bulb 2020-04-07
• 2020-04-01 报告人：曾图：Independence-friendly Logic 2020-04-01
• 2020-03-31 报告人：王彦晶：一个“老改犯”的自白：论文写作的经验与教训交流 2020-03-31