Seminars

• 2021-09-11 Sept. 14 Talk by Dr. Yì Wáng: Group Belief 2021-09-11
• 2021-06-07 6月8日王一廷、魏来报告 2021-06-07
• 2021-05-27 6月4日9:00 报告人：丁一峰 题目：Split Cycle: a New Condorcet Consistent Voting Method and Its Axiomatic Characterization 2021-05-27
• 2021-05-21 5月25日 报告人：江璐 题目：亚里士多德论否定：对当方阵、排中律和矛盾律 2021-05-21
• 2021-05-18 6月15日 报告人：顾韬 题目：Probabilistic logic programming and Bayesian networks: a string diagram perspective 2021-05-18
• 2021-05-18 5月18日 报告人：刘壮虎 题目：蕴涵的邻域语义学刻画 2021-05-18
• 2021-05-11 5月11日 报告人：王以松 题目：Knowledge Forgetting in Answer Set Programs 2021-05-11
• 2021-05-07 5月7日 报告人：金人麟 题目：非标准分析的两个主要流派 2021-05-07
• 2021-04-27 报告人：叶闯 题目：使真者理论的基本观念及其哲学问题 2021-04-27
• 2021-04-20 报告人：王潇扬 题目：模态逻辑中格的完全性证明 2021-04-20
• 2021-04-13 报告人：叶凌远 题目：Categories Are the Right Land for (Mathematical) Logic 2021-04-13
• 2021-04-05 报告人：王强 题目：《墨经·小取》中的行为概念与逻辑 2021-04-05
• 2021-03-24 报告人：陈至诚 题目：一阶逻辑的代入 2021-03-24
• 2021-03-22 报告人：林凯杨 题目：Discrete linear temporal logic with Knowing-value operator 2021-03-22
• 2021-03-14 报告人：刘力恺 题目：罗素的分支类型论 2021-03-14
• 2021-03-08 报告人：王昊玉 题目：Knowing how to understand inquisitive logic 2021-03-08
• 2021-01-04 Jan 5, Yanjing Wang: Knowing How to Understand Intuitionistic Logic 2021-01-04
• 2020-12-29 12月29日魏宇报告：《A Logical Framework for Understanding Why》 2020-12-29
• 2020-12-19 12月22日党学哲报告：《证据的逻辑》 2020-12-19
• 2020-12-15 12月15日叶峰教授报告《漫谈数学哲学及其他》 2020-12-15