News

• 2016-02-24 2月23日郑植报告：自然语言，形式语法与自动机 2016-02-24
• 2015-12-29 12月29日刘佶鑫报告：GL in Normal Modal Logic and Tense Logic 2015-12-29
• 2015-12-23 12月22日陈科名报告：Great Expectations: Introducing a Surreal Decision Theory 2015-12-23
• 2015-12-15 12月15日高珂报告：A Super Introduction to Reverse Mathematics 2015-12-15
• 2015-12-08 12月8日俞珺华报告：A Brief Introduction to Justification Logic 2015-12-08
• 2015-12-01 12月1日邢滔滔报告：《墨经》中的类名 2015-12-01
• 2015-11-24 11月24日陈波报告：Designative and Predicative Uses of Terms: Against the Distinction of Rigidity and Non-Rigidity 2015-11-24
• 2015-11-18 11月17日李延军报告：不确定规划中的动态知识推理 2015-11-18
• 2015-11-10 11月10日王强报告：Kit Fine’s Theory of Arbitrary Objects 2015-11-10
• 2015-11-03 11月3日程莹莹报告：Reasoning about Others' Knowledge 2015-11-03
• 2015-10-27 10月27日X. Zhao报告：G?del's Incomleteness 2015-10-27
• 2015-10-20 10月20日王海若报告：Fixing the Tolerance Principle 2015-10-20
• 2015-10-16 10月13日Timothy Williamason报告：Modal Science 2015-10-16
• 2015-09-29 9月29日李楷报告：From rules to runs: A dynamic epistemic take on imperfect information games 2015-09-29
• 2015-09-22 9月22日彭杉杉报告：从语义角度反驳克里普克的专名理论 2015-09-22
• 2015-09-05 9月15日Takashi Iida报告：Mass/Count Distinction in a Classifier Language 2015-09-05
• 2015-06-24 6月23日张力报告：Descriptor Revision, Epistemic Proximity Ordering and Believability Relation 2015-06-24
• 2015-06-23 6月16日张文彦、朱薇报告：1.面向英语时间的形式语义学/2.信念及信念改变的扩展研究——基于Ranking Theory的信念修正 2015-06-23
• 2015-06-08 6月2日杨英锐教授讲座：推理动力学的规范场纲领--“逻辑学家与推理者”困境的解决方案 2015-06-08
• 2015-05-31 5月26日 小野寛晰教授讲座：Proof-theoretic approach to logic ― an introduction 2015-05-31