News

• 2014-06-18 王彦晶、范杰文章被Advances in Modal Logic（AiML） 2014接收 2014-06-18
• 2014-06-09 6月4日琚凤魁老师讲座：Trace semantics for propositional dynamic logics 2014-06-09
• 2014-06-02 5月30号Dr.Jeremy Seligman讲座：Understanding some pathologies of social epistemology by reasoning about observed behaviour 2014-06-02
• 2014-05-31 5月28日Dr. Jeremy Seligman 讲座：1.Secret tweets and network discovery 2.Past, Present and Future: the logic and philosophy of Arthur Prior 2014-05-31
• 2014-05-26 5月21日Prof.Frank Veltman讲座：Gradable adjectives and subjective experience 2014-05-26
• 2014-05-15 5月14日吕相洋报告：非标准分析——经典数学的一种延伸 2014-05-15
• 2014-05-08 5月7日Peter van Emde Boas教授讲座：Victorious Warriors: searching the games played in the Romance of the three Kingdoms 2014-05-08
• 2014-05-01 4月30日高坤报告：Post-Quinean Naturalism in the Philosophy of Mathematics 2014-05-01
• 2014-04-30 4月23日刘美平报告：内在论视角下的身心同一 2014-04-30
• 2014-04-16 4月16日沈榆平老师讲座：Canonical Logic Programs are Succinctly Incomparable with Proposition Formulas 2014-04-16
• 2014-04-12 4月9日蒋运鹏老师讲座：卡尔纳普的第一个构造定义 2014-04-12
• 2014-04-04 4月2日秦一男报告：浅层句法分析方法综述 2014-04-04
• 2014-03-27 3月26日李熙报告：Raven Paradox 2014-03-27
• 2014-03-19 3月19日彭杉杉报告：“一米命题”是先验的吗——从“先验”的概念分析看 2014-03-19
• 2014-03-13 3月12日朱薇报告：逻辑全知问题的一种解决方案—— 一般觉察逻辑 2014-03-13
• 2014-03-06 3月5日张文彦报告：自然语义的元语言阐释 2014-03-06
• 2014-02-27 2月26日郑植报告：话语表征理论简介与评述 2014-02-27
• 2014-02-20 2月19日 杨森老师报告：使用可数传递模型的论证 2014-02-20
• 2014-01-15 12月24号陈希报告：Alloy与其在博弈论中的应用 2014-01-15
• 2013-12-19 12月16日万美文报告：An Introduction to Modal Metaphysics 2013-12-19