Seminars

• 2020-03-24 报告人：张瑜：反事实依赖和时间的箭 2020-03-24
• 2020-03-17 报告人：王勋：Decidable Bundled Fragments of First-Order Modal Logic 2020-03-17
• 2020-03-09 报告人：魏来：Arrow's Decisive Coalitions 2020-03-09
• 2020-03-03 报告人：秦云飞：图灵偏序结构 2020-03-03
• 2020-02-24 报告人：王一廷：Zero-Knowledge and An Epistemic Characterization of it 2020-02-24
• 2020-02-17 报告人：周北海：日常概念与概称句逻辑 2020-02-17
• 2019-12-24 报告人：孙薇薇 题目：Graph- based parsing into logical forms 2019-12-24
• 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