News

• 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
• 2014-12-22 12月2日张羿教授报告：20世纪几个重要的逻辑学定理 2014-12-22
• 2014-12-22 12月16日曹钦翔报告：The logics to establish the correctness of programs 2014-12-22
• 2014-11-29 11月25日彭杉杉报告：麦蒂论自然主义视角下的逻辑 2014-11-29
• 2014-11-25 11月18日张文彦报告：语言学中的优选论 2014-11-25
• 2014-11-12 11月2日刘壮虎教授讲座：概念结构理论 2014-11-12
• 2014-11-02 10月28日郑植报告：语言学中的优选论 2014-11-02
• 2014-10-22 10月21日阮吉老师讲座：Model Checking Incomplete Information Games in General Game Playing 2014-10-22
• 2014-10-15 10月14日万美文报告：直觉与语义/语用区分 2014-10-15
• 2014-10-13 我系5位师生应邀赴日出席“逻辑与哲学互动工作坊” 2014-10-13
• 2014-10-01 9月30日刘梓源报告：Formalizing Knowledge How 2014-10-01
• 2014-09-23 9月23日范杰报告： Almost Necessary 2014-09-23
• 2014-09-17 9月16日方楠报告：Algorithmic Randomness 2014-09-17
• 2014-08-30 “第四届全国批判性思维教学研讨会”在北京大学召开 2014-08-30