2019春季报告 (当初上课时间:周二15:10-18:00 地点:文史楼101)
2019-06-04 报告人:王心宇 题目:Physical Epistemic Logic 附件:

2019-05-28 报告人:王云崧 题目:Coalgebraic semantic of modal logics 附件:

2019-05-21 报告人:方静芝 点评人:吴小安 题目:实际因果的公理化 附件:

2019-05-14 报告人:文学锋 题目:Various Logical Consequences in Modal Logic 附件:

2019-05-07 报告人:Dominik Klein 点评人: F. Van De Putte 题目:Pooling Modalities and Pointwise Intersection: a Survey of Recent Results 附件:

2019-04-30 报告人:放假 题目:
2019-04-23 报告人:郑植 题目:中学教学体系中的逻辑学 附件:

2019-04-16 报告人:刘壮虎 题目:模态逻辑的邻域语义学 附件:

2019-04-09 报告人:胡兰双 点评人:张瑜 题目:T.Williamson on KK principle 附件:

2019-04-02 报告人:刘佶鑫 点评人:刘默 题目:PML and WAML Model theory and Craig Interpolation 附件:

2019-03-26 报告人:王 强 点评人:王勋 题目:Analogical Argument and Tui Lei 附件:

2019-03-19 报告人:魏 宇 点评人:刘佶鑫 题目:Call Me by Your Name: An Introduction to Epistemic Logic with Assignments 附件:

2019-03-12 报告人:高 珂 点评人:党学哲 题目:非标准语言下的塔斯基真定义研究 附件:

2019-03-05 报告人:陈波 题目:Hume’s Conceivability Arguments Reconsidered 附件:

2019-02-19 报告人:党学哲 点评人:魏宇 题目:Hypersequent Calculi for Propositional Modal Logic 附件:
