(For the 2021 report, check this link)
Publications by CLLC members and students in 2022
周北海，指涉方式与语言整体观视角下的名称理论，《哲学分析》 2022年第3期，第137-150, 199页。
Wang, H., Wang, Y., Wang, Y.
Inquisitive logic as an epistemic logic of knowing how
(2022) Annals of Pure and Applied Logic, 173 (10), 论文编号 103145, .
DOI: 10.1016/j.apal.2022.103145
Li, D., Wang, Y.
Mereological Bimodal Logics
(2022) Review of Symbolic Logic, 15 (4), pp. 823-858.
DOI: 10.1017/S175502032200003X
Wang, Y., Wei, Y., Seligman, J.
Quantifier-free epistemic term-modal logic with assignment operator
(2022) Annals of Pure and Applied Logic, 173 (3), 论文编号 103071, .
DOI: 10.1016/j.apal.2021.103071
Fervari, R., Velázquez-Quesada, F.R., Wang, Y.
Bisimulations for knowing how logics
(2022) Review of Symbolic Logic, 15 (2), pp. 450-486. (online first 2021)
DOI: 10.1017/S1755020321000101
Wang, H., Wang, Y., Wang, Y.
An Epistemic Interpretation of Tenser Disjunction.
(2022) Advances in Modal Logic. Vol. 14, pp. 719-739
Liu, M., Padmanabha, A., Ramanujam, R., Wang, Y.
Generalized Bundled Fragments for First-Order Modal Logic
(2022) Proceedings of MFCS '22, LIPIcs, 241, 论文编号 71, .
DOI: 10.4230/LIPIcs.MFCS.2022.70
Liu, J., Ding, Y., Wang, Y.
Model Theoretical Aspects of Weakly Aggregative Modal Logic
(2022) Journal of Logic, Language and Information, 31 (2), pp. 261-286.
DOI: 10.1007/s10849-022-09366-x
Wang, X., Wang, Y.
Tense Logics over Lattices
(2022) Proceedings of WoLLIC '22, 13468 LNCS, pp. 70-87.
DOI: 10.1007/978-3-031-15298-6_5
New Research Grant in 2022
Yifeng Ding: Propositionally Quantified Modal Logic and Its Applications in Philosophy (国家社科基金青年项目：带命题量词的模态逻辑及其哲学应用研究)
Workshop Organized in 2022
LICS-affiliated Workshop on Decidable Fragments of First-order Modal Logic (July 31, Haifa)
New Course, Program, and Scholarship
The undergraduate-level course "Introduction to Logic" is redesigned as a primer to Logic as a field from a multi-disciplinary perspective.
The newly established double-major program in Logic enrolled the first five students majoring in Math or Biology.
The Song Wenjian Scholarship on Logic was awarded for the first time to three students.
Graduated Students
Xun Wang (PhD), now a post-doc at Minzu University of China.
Yu Zhang (PhD)
Haoyu Wang (Master), now a PhD Student at Peking University
Likai Liu (Master), now a PhD Student at Peking University
Other Updates
Yanjing Wang was appointed the new director of CLLC in Feb 2022, Shengyang Zhong is the new secretary of the center.
Yanjing Wang was appointed an associate editor of the Journal of Philosophical Logic in April 2022.
Invited Talks
周北海
5月28日，“从小取逻辑看中国先秦逻辑思想与西方逻辑学的分野”，第十七次中国逻辑史全国学术研讨会。
8月19日，“小取逻辑与西方逻辑学”，中国科学院哲学所工作坊。
邢滔滔：
3月26日，“类名与类名之实”，汉语哲学大会（线上），北京大学
4月10日，“何为类名之实”，广义论证理论研讨会（线上），中山大学
4月21日，“王浩先生杂忆”，清华校庆及人文学院院庆专题研讨会
11月18日，“类名与类—名墨的名实观”，中科院哲学所“逻辑学+”系列研讨会
王彦晶：
Dec. 11 Hidden Bundles. Logic on the road. Tsinghua University
Dec. 3 Knowing how to understand intuitionistic logic. Pittsburgh Epistemology Workshop
Nov. 20 打包算子的前世今生. 北京市逻辑学会前沿论坛, 北京师范大学
Oct. 28 科研项目方面的经验交流，2022 年全国现代逻辑学术研讨会 (教育环节)，山东大学
Sept. 15 Knowing How to Understand Intuitionistic Logic. 逸仙逻辑论坛, 中山大学
Aug. 30 与你我有关的学术伦理. 北京大学新生教育
April 9 Knowing how to plan. Foundations and Applications of AI, Conference, Peking University
丁一峰
June 23, An axiomatic characterization of split cycle, the 16th Meetings of the Society for Social Choice and Welfare
11月27日, Examining the Fundamental Theorem of World Theory in Modal Logics with Propositional Quantifiers，2022年全国数理逻辑年会
讨论班外请报告