Seminars

• 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
• 2022-09-30 Oct. 4 Talk by Yifeng Ding: Variations on Weakly Aggregative Modal Logic 2022-09-30
• 2022-09-24 Sept. 27 Talk by Ming Xiong: To be or not to be a Paradox --- That is a Question 2022-09-24
• 2022-09-16 Sept. 20 Talk by Yiting Wang: Logic for computation: an introduction to computability logic 2022-09-16
• 2022-09-07 9月13日 报告人：王彦晶 题目：学术写作与报告 2022-09-07
• 2022-08-30 Sept. 6 Talk by Qinxiang Cao: Yet Another ZFC Set Theory Formalization in a Theorem Prover 2022-08-30
• 2022-05-30 Jun. 7 Talk by Ivano Ciardelli: Modalities in the realm of questions 2022-05-30
• 2022-05-22 Jun. 1 (Wed.) Talk by Toby Meadows: Of Sheep and Wolves 2022-05-22
• 2022-05-22 May 24 Talk by Dekun Zeng: Reasoning about strategy- an overview of ATL and SL 2022-05-22
• 2022-05-14 May 17 Talk by Xiaoyang Wang: Tense logics over lattices 2022-05-14
• 2022-04-29 May 10 Talk by Ciyang Qing: Cross-linguistic patterns in the selectional restrictions of non-veridical preferential predicates 2022-04-29