News

• 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
• 2015-05-26 5月19日王仁俊博士讲座：知识逻辑与逻辑全知性问题（Epistemic logic and the problem of logical omniscience） 2015-05-26
• 2015-05-19 5月12日林哲博士讲座：Lambek Calculus and Type grammars: Past and Future 2015-05-19
• 2015-05-10 5月5日徐超报告：The Logic of Knowledge-Why 2015-05-10
• 2015-05-06 4月28日李大柱报告：博弈论 2015-05-06
• 2015-04-27 4月21日张羿 教授讲座：艺术与科学并重的俄罗斯精英教育体制 2015-04-27
• 2015-04-22 4月14日Dr. Alessandra Palmigiano 讲座：Proof-theoretic semantics for dynamic logics 2015-04-22
• 2015-04-13 4月7日常悦报告：Global Property versus Local Update Transformer - A Comparison of DEL and ETL 2015-04-13
• 2015-04-06 3月31日朱薇报告：A Review of Belief Changes in Two Approaches 2015-04-06
• 2015-03-30 3月24日张文彦报告：从事件语义学角度分析动词的形式化方法 2015-03-30
• 2015-03-17 3月17日彭杉杉报告：克里普克的专名理论 2015-03-17
• 2015-03-16 3月10日X. Zhao报告：Basic Forcing Theory 2015-03-16
• 2015-03-07 3月3日李楷报告：Decidability of Logics Based on an Indeterministic Metric Tense Logic 2015-03-07