News

• 2016-04-19 4月19日陈波教授报告：Vagueness Without Boardline Cases 2016-04-19
• 2016-04-13 4月12日郑植报告：构式语法的论元结构分析理论 2016-04-13
• 2016-04-05 4月5日孙鑫博士报告：Logic and Games for Ethical Agents 2016-04-05
• 2016-03-30 3月29日刘佶鑫报告：Sabotage modal logic: proof system, expressivity and f.m.p. 2016-03-30
• 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