Seminars

• 2019-12-17 报告人：曾图 点评人：秦云飞 题目：Logic Games 2019-12-17
• 2019-12-10 报告人：方楠 题目：Defining Randomness by Martingales 2019-12-10
• 2019-12-03 报告人：魏来 点评人：王一廷 题目 ：Logic and Social Choice Theory 2019-12-03
• 2019-11-26 报告人：王洪 题目：逻辑能解法律论证之困吗？ 2019-11-26
• 2019-11-19 报告人：石辰威 题目：Collective Belief, Naïve Learning and the Wisdom of Crowds 2019-11-19
• 2019-11-12 报告人：王一廷 点评人：刘诗霄 题目：Buchi Automata and its application to Logic 2019-11-12
• 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