Seminars

• 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
• 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