Seminars

• 2019-11-05 报告人：秦云飞 点评人：刘诗霄 题目：强极小理论简介 2019-11-05
• 2019-10-29 报告人：徐超、李大柱 题目：Automated Spatial Semantic Analysis Towards Commonsense Reasoning、Losing Connection: the Modal Logic of Definable Link Deletion 2019-10-29
• 2019-10-22 报告人：Kevin Kelly 题目：Introduction to Topological Philosophy of Science 2019-10-22
• 2019-10-15 报告人：Wesley Holliday 题目：Axiomatizing Reasoning about Sets: Cardinality, Mereology, and Decisiveness 2019-10-15
• 2019-10-08 报告人：John Symons 题目：Computation in the Physical World 2019-10-08
• 2019-09-24 报告人：张瑜 点评人：王洪光 题目：Interventions in Premise Semantics 2019-09-24
• 2019-09-17 报告人：王云崧 题目：An introduction to forcing 2019-09-17
• 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