Seminars

• 2023-04-22 Apr. 25th Talk by Bin Liu : Knowing how with coalition power 2023-04-22
• 2023-04-16 4月18日 报告人：刘力恺 题目：Gentzen's Consistency Proof 2023-04-16
• 2023-04-08 Apr. 11th Talk by Haoyu Wang : The Many Possibilities of Intuitionistic Modal Logic: A Literature Review 2023-04-08
• 2023-03-31 4月4日 报告人：王林峰 题目：Boolean-valued models of set theory 2023-03-31
• 2023-03-23 3月28日 报告人：王迪 题目：直觉主义逻辑与程序设计语言 2023-03-23
• 2023-03-16 Mar. 21st Talk by Xinhe Wu : Vagueness in Parthood and Identity: Applications of Boolean-Valued Semantics 2023-03-16
• 2023-03-11 Mar. 17th Talk by Francesca Zaffora Blando: Pride and Probability 2023-03-11
• 2023-03-06 3月6日 中学逻辑学教育论坛 2023-03-06
• 2023-02-24 2月28日 报告人：燕博南 题目：逻辑与计算科学与工程--领域专用计算处理器发展前沿 2023-02-24
• 2023-02-20 Feb. 21 Talk by Zhicheng Chen: Unifying BPL, IPL and OL 2023-02-20
• 2022-12-10 Dec. 13th Talk by Prof. Meiyun Guo: Probabilistic Epistemic Logic based on neighborhood semantics 2022-12-10
• 2022-12-01 12月6日 报告人：邹婷湘 题目：希尔伯特第五问题，Approximate subgroups和紧致性定理 2022-12-01
• 2022-11-26 Nov. 29 Talk by Liqing Ruan: Tense logic: Points and Periods 2022-11-26
• 2022-11-17 Nov. 22 Talk by Guanqun Liu: What is theoretical equivalence? 2022-11-17
• 2022-11-10 Nov. 15 Talk by Bin Liu: Together we know how to achieve　 2022-11-10
• 2022-11-07 11月8日 报告人：王林峰 题目：反推数学与希尔伯特纲领的部分实现 2022-11-07
• 2022-10-28 11月1日 报告人：董惠敏 题目：面向霍菲尔德法权的逻辑与计算 2022-10-28
• 2022-10-18 Oct. 25th Talk by Dr. Weimin Sun: What is critical thinking, and how to teach it? 2022-10-18
• 2022-10-13 10月18日 报告人：毛翊 题目： 逻辑可达世界 2022-10-13
• 2022-10-08 10月11日 报告人：何思源 题目：说谎者悖论相关文献的初步整理 2022-10-08