News

• 2016-03-22 3月22日高珂报告：Induction and Nonstandard Models of Arithmetic 2016-03-22
• 2016-03-15 3月15日Conden Chao报告：G?del’s First Incompleteness Theorems for Non-Recursively Enumerable Theories 2016-03-15
• 2016-03-09 3月8日王海若报告：What Are We 2016-03-09
• 2016-03-02 3月1日李楷报告：有穷宽度S4逻辑的有穷模型性问题 2016-03-02
• 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