News

• 2016-09-20 9月20日刘洋报告：Towards a Simpler and More Realistic Subjective Decision Theory 2016-09-20
• 2016-09-13 9月13日方楠报告：简介作为研究机器学习的递归论进路的“归纳推理” 2016-09-13
• 2016-06-08 6月7日王驹教授报告：语义网与描述逻辑 2016-06-08
• 2016-05-31 5月31日Chao, Gao & Liu: Searching for New Axioms 2016-05-31
• 2016-05-25 5月24日叶峰教授报告：语言崇拜与人工智能 2016-05-25
• 2016-05-17 5月17日王强报告：西方汉学家对中国古代逻辑的研究 2016-05-17
• 2016-05-11 5月10日彭杉杉报告：克里普克的虚构名称理论 2016-05-11
• 2016-05-04 5月4日顾韬报告：“Knowing what” logic as a normal modal logic 2016-05-04
• 2016-04-27 4月26日程莹莹报告：A Spectrum of Degrees of Knowledge Sharing 2016-04-27
• 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