Seminars

• 2022-04-18 April. 26 Talk by Yunfei Qin: Cylindrical space and its application in first-order model theory 2022-04-18
• 2022-04-13 4月19日 报告人：王全龙 题目：会遇之际：范畴论、量子计算、唯识学及意识理论 2022-04-13
• 2022-04-09 4月12日 报告人：张立英 题目：《弘明集》的逻辑学价值辨析 2022-04-09
• 2022-03-25 Mar. 29 Talk by Yunsong Wang: Topological Semantics and Evidential-based Epistemic Logic 2022-03-25
• 2022-03-21 Mar. 22 Talk by Bo Hong: Baltag and van Benthem: A Simple Logic of Functional Dependence 2022-03-21
• 2022-03-11 Mar. 15 Talk by Siyuan He: Intrinsic Property 2022-03-11
• 2022-02-28 Mar. 8 Talk by Robert Passmann: On the logical structure of constructive set theories (Online) 2022-02-28
• 2022-02-24 Mar.1st Talk by Yiting Wang: Logic omniscience and algorithmic knowledge 2022-02-24
• 2022-02-16 2月22日 报告人：钟盛阳 题目：Propositional Logic and Modal Logic - A Connection via Relational Semantics 2022-02-16
• 2021-12-19 12月21日 报告人：刘力恺 题目：Nik Weaver对Γ_0的超越 2021-12-19
• 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