Seminars

• 2020-04-27 报告人：钟盛阳：Quantum States: An Analysis via the Indiscriminability Relation 2020-04-27
• 2020-04-19 报告人：郝兆宽：《哲学要从逻辑中学习什么？——读〈逻辑之旅〉第八章》 2020-04-19
• 2020-04-07 Hans van Ditmarsch: One Hundred Prisoners and a Light Bulb 2020-04-07
• 2020-04-01 报告人：曾图：Independence-friendly Logic 2020-04-01
• 2020-03-31 报告人：王彦晶：一个“老改犯”的自白：论文写作的经验与教训交流 2020-03-31
• 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