2015春季报告 （当初上课时间：周二15:10-18:00 地点：二教525）
2015-06-23 报告人：张力 题目：Descriptor revision, epistemic proximity ordering and believability relation
2015-06-16 报告人：张文彦、朱薇 题目：1.面向英语时间的形式语义学/2.信念及信念改变的扩展研究——基于Ranking Theory的信念修正 附件：
2015-06-09 报告人：无（暂停一次） 题目：
2015-05-26 报告人：Hiroakira Ono 题目：Proof-theoretic approach to logic ― an introduction 附件：
2015-05-19 报告人：王仁俊 题目：Epistemic logic and the problem of logical omniscience 附件：
2015-05-12 报告人：林哲 题目：Lambek Calculus and Type grammar: Past and Future 附件：
2015-05-05 报告人：徐超 点评人：李大柱 题目：The Logic of Knowledge-Why 附件：
2015-04-28 报告人：李大柱 点评人：常悦 题目：博弈论 附件：
2015-04-21 报告人：张羿 题目：艺术与科学并重的俄罗斯精英教育体制
2015-04-14 报告人：Dr. Palmigiano 题目：Proof-theoretic semantics for dynamic logics 附件：
2015-04-07 报告人：常悦 点评人：徐超 题目：Global Property versus Local Update Transformer -- A Comparison of DEL and ETL 附件：
2015-03-31 报告人：朱薇 点评人：李楷 题目：A Review of Belief Changes in Two Approaches 附件：
2015-03-24 报告人：张文彦 点评人：郑 植 题目：从事件语义学角度分析动词的形式化方法 附件：
2015-03-17 报告人：彭杉杉 点评人：程莹莹 题目：克里普克的专名理论 附件：
2015-03-10 报告人：X. Zhao 点评人：李 楷 题目：Basic Forcing Theory 附件：
2015-03-03 报告人：李楷 题目：Decidability of Logics Based on an Indeterministic Metric Tense Logic
