Seminars

• 2019-09-10 报告人：王勋 点评人：张瑜 题目：A Logic of Knowing How with Skippable Plans 2019-09-10
• 2019-06-04 报告人：王心宇 题目：Physical Epistemic Logic 2019-06-04
• 2019-05-28 报告人：王云崧 题目：Coalgebraic semantic of modal logics 2019-05-28
• 2019-05-21 报告人：方静芝 点评人：吴小安 题目：实际因果的公理化 2019-05-21
• 2019-05-14 报告人：文学锋 题目：Various Logical Consequences in Modal Logic 2019-05-14