Publications
Publications of Members of CLLC:
Zhicheng Chen, Yifeng Ding: The Logics of Individual Medvedev Frames. Log. J. IGPL 33(5) (2025)
Yifeng Ding, Wesley H. Holliday, Eric Pacuit: An axiomatic characterization of Split Cycle. Soc. Choice Welf. 64(3): 557-601 (2025)
Bin Liu and Yanjing Wang: A Note on Strategically Knowing How in Groups. Festschrift for Andreas Herzig on the Occasion of his 65th Birthday. College Publications, 2025
Zilu Wang and Yanjing Wang: Connecting Free Choice Permission with Obligation and Prohibition by Not Doing It. Proceedings of DEON 2025
Bin Liu and Yanjing Wang: Distributed Knowing How. Proceedings of TARK 2025
Xiaoyang Wang and Yanjing Wang: Modal Logics over Lattices. Annals of Pure and Applied Logic 176(4),103553, 2025
Yiting Wang and Yanjing Wang: Knowable as Knowing How to Inquire. Proceedings of ICLA 2025
Bokai Yao: Abstraction Principles and the Size of Reality. Review of Symbolic Logic 18(3): 812-825 (2025)
Shengyang Zhong: Orthogonal Definable Subspaces of Hilbert Spaces: An Application of Goldblatt’s Method. Notre Dame Journal of Formal Logic 66(2): 153-174
Shengyang Zhong: On Modal Logics of Subset Spaces.《逻辑学研究》18(3): 1-24
Independent Publications by Students of CLLC:
Zhicheng Chen. A Unified Relational Semantics for BPL, IPL and OL: Axiomatization Without Disjunction. Studia Logica (2025)
Yuanzhe Yang: Boxing Some: Axiomatizations of the $\Box \exists$-Bundled Fragment of First-Order Modal Logic. Journal of Philosophical Logic 54(4): 901-933 (2025)
Yuanzhe Yang: Impure Simplicial Complex and Term-Modal Logic with Assignment Operators. TARK 2025
Ongoing Projects
Bokai Yao: Set theory with urelements (National Natural Science Fund Youth project)
Yifeng Ding: Modal logic with propositional quantifiers and its philosophical applications (National Social Science Fund Youth project).
Shengyang Zhong: Quantum logic research based on relational semantics (National Social Science Fund Youth project).
Yanjing Wang: Textbook project for Introduction to logic: a modern prespective
Awards
Yonggang Li is awarded Song Wenjian Award in Logic
Service
Yanjing Wang was appointed as an editor of the new Diamond OA journal Philosophical Logic
People
Lukas Zenger joined the group as a Postdoc (Visiting Scholar) funded by Swiss Science Foundation
New Courses
“Introduction to Bundled Modalities” at NASSLLI 2024 by Yanjing Wang
“Update Semantics” Intensive course by Frank Veltman
“Lectures on Set Theory and the Foundations of Mathematics” Intensive course by Joel David Hamkins
“Topics in Philosophical Logic (Higher-order Logic)” by Yifeng Ding
“Philosophy of Mathematics” (redesigned) by Bokai Yao
“Quantum Logic” by Shengyang Zhong
Graduation and Admission
Graduation:
Master: Xubing Deng, Qianli Ma, Wen Tang
PhD: Zhicheng Chen, Siyuan He, Yiting Wang
Admission:
Master: Yuxi Chen, Jiaxi Feng, Linyao Zhao
Events
Conferences and Workshops:
Organized “Beijing International Summer Workshop on Formal Philosophy 2025” with pre-workshop tutorials on July 4th-8th
CLLC Weekly Seminar:
Feb. 18 Han Xiao: Three Classes of Logics in the Context of c.c.c. Forcing
Mar. 4 Haosui Duanmu: An Infinite Lone Wolf Theorem
Mar. 13 Guanglong Luo: Truth and Finite Conjunction
Mar. 18 George Barmpalias: Complexity of Enumerations and Games
Mar. 27 Wangzhou Dai: From End-to-end to Step-by-step: Integrating Machine Learning and Logical Reasoning through Abductive
Apr. 22 Liuzhen Wu: Forcing Construction Related to Strongly Compact Cardinals
Apr. 29 Shichang Song: A Brief Introduction to Continuous Logic
May 12 Yijia Chen: First-order Logic with Counting, the Weisfeiler-Lehman Algorithms, and Graph Neural Networks
May 13 Qi Feng: 概论元数学基础
May 27 Lu Wang: 量词与普遍性
Jun. 3 Graham Priest: Can Buddhist and Jain Logic be Seen as Forerunners of Modern Paraconsistent Logic?
Jun. 3 Graham Priest: Jaśkowski and the Jains
Sep. 9 Robert Goldblatt: Admissible Semantics for Modal Logics
Sep. 12 Robert Goldblatt: Quantified Temporal Logic for Real Time
Sep. 16 Robert Goldblatt: Morphisms and Duality for Polarities
Sep. 23 Yue Yang: 论可计算性
Sep. 30 Guillaume Massas: Recent Advances in Fundamental Logic
Oct. 14 Liang Yu: What Can Be Deduced from Turing Determinacy?
Nov. 22 Thomas Ågotnes: Anonymous Public Announcements
Dec. 5 Daisuke Ikegami: Boolean-valued Second-order Logic
Dec. 9 Naijun Zhan: Extending Hoare Logic to Hybrid Systems
Talks by Members of CLLC
邢滔滔：
10月24日 类与指——名墨的名实观 @南开大学哲学学院
11月22日 先秦类名与类名之实 @华南师范大学哲学系
王彦晶：
2月2日 ICLA Pre-conference Tutorial @印度逻辑学会
4月7日 Knowing How to Understand Intuitionistic Logic @Steklov Mathematical Institute
4月19日 Heyting on The Conception of Intuitionistic Logic @中国社会科学院
6月9日 Knowing How to Understand Intuitionistic Logic @Workshop on Set Theory and Logic, 北京雁栖湖应用数学中心
7月27日 数学的哲学、哲学的数学：逻辑学的思想与方法 @见地论坛
9月22日 Bundled Fragments of First-order Modal Logic @北京大学计算机学院
10月13日Bundled Fragments of First-order Modal Logic @法国图卢兹IRIT
10月15日A Bundled Approach to Deontic Logic @意大利帕多瓦大学
11月9日Assignments as Bridge @全国现代逻辑研讨会，华东师范大学
12月4日Knowing How to Understand Intuitionistic Logic @会通论坛, 山西大学哲学学院
12月6日工具、伙伴还是神谕？一位逻辑学家与大语言模型共赴证明之旅 @AI与认知哲学工作坊，山西大学哲学学院
在清华伟新科普讲坛做了逻辑学科普报告
钟盛阳:
6月13日 量子理论重构及相关反思：以Birkhoff-von Neumann量子逻辑为例 @“科学与哲学”论坛，中国科学院哲学研究所
7月6日 对量子理论重构的一点反思 @量子力学百年历程（1925-2025）纪念工作坊，中国社会科学院哲学研究所
11月15日 Propositions Formalized in Chu Spaces @2025学术前沿论坛‧北京市逻辑学会专场，北京市逻辑学会
丁一峰：
9月19日 An Axiomatic Characterization of the Minimax Voting Method @COMSOC 2025, TU Wien
11月20日 Logics with Actual and Potential Worlds @天辅逻辑论坛, 西南大学逻辑与智能研究中心
姚博凯：
6月24日 当代集合论中的无穷 @三松堂中国哲学工作坊，北京大学
7月26日 Set Theory with Plenitudinous Urelements @2025年数学哲学国际研讨会主旨报告，兰州大学
12月1日 反射原理作为选择原理 @若海逻辑论坛，中山大学哲学系（珠海）