Seminars

• 2021-12-08 Dec.14 Talk by Prof. Jiji Zhang: Causal reasoning and modularity: a new perspective (Online) 2021-12-08
• 2021-12-05 12月7日 报告人：王彦晶 题目：学术技能分享与交流 2021-12-05
• 2021-11-28 Nov. 30 Talk by Dr. Chris Scambler: Axiomatic Potentialism (Online) 2021-11-28
• 2021-11-21 Nov.23 Talk by Bo Hong : The Completeness of PALKv 2021-11-21
• 2021-11-09 11月16日 报告人：陈泽晟 题目：可构造宇宙是否是免于形式的? -论Kennedy的"可定义性丘奇-图灵论题"（线上） 2021-11-09
• 2021-11-06 Nov.9 Talk by Dekun Zeng: Modeling inductive knowledge—from normality framework to probabilistic framework 2021-11-06
• 2021-11-01 Nov.2 Talk by Zhicheng Chen: Lyndon interpolation theorem in R-restricted fragment of 1st-order logic 2021-11-01
• 2021-10-16 Oct.19 Talk by Dr. Xueyin Zhang: General Bayesianism (Online) 2021-10-16
• 2021-10-05 Oct.12 Talk by Xingchi Su: Dynamics in Conditional Obligation (Online) 2021-10-05
• 2021-09-28 Sept. 28 Dr. Yifeng Ding: Regularity and Relative Likelihood 2021-09-28
• 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