Home» News» News» Annual Report of PKU Center of Logic, Language, and Cognition (2022)

Annual Report of PKU Center of Logic, Language, and Cognition (2022)

发布日期:2022-12-24 作者:

(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

Kaiyang Lin (Master), now a public servant at Jiaxing City
Yunfei Qin (Master) 

 

 

 

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年全国数理逻辑年会 

 

讨论班外请报告

 

  • 12月13日 Talk by Prof. Meiyun Guo: Probabilistic Epistemic Logic based on neighborhood semantics
  • 12月6日 报告人:邹婷湘 题目:希尔伯特第五问题,Approximate subgroups和紧致性定理
  • 11月1日 报告人:董惠敏 题目:面向霍菲尔德法权的逻辑与计算
  • Oct. 25th Talk by Dr. Weimin Sun: What is critical thinking, and how to teach it?
  • 10月18日 报告人:毛翊 题目: 逻辑可达世界
  • Sept. 27 Talk by Ming Xiong: To be or not to be a Paradox --- That is a Question
  • Qinxiang Cao: Yet Another ZFC Set Theory Formalization in a Theorem Prover
  • Jun. 7 Talk by Ivano Ciardelli: Modalities in the realm of questions
  • Jun. 1 Talk by Toby Meadows: Of Sheep and Wolves
  • Talk by Ciyang Qing: Cross-linguistic patterns in the selectional restrictions of non-veridical
  • 4月19日 报告人:王全龙 题目:会遇之际:范畴论、量子计算、唯识学及意识理论
  • 4月12日 报告人:张立英 题目:《弘明集》的逻辑学价值辨析
  • Mar. 29 Talk by Yunsong Wang: Topological Semantics and Evidential-based Epistemic Logic
  • Mar. 8 Talk by Robert Passmann: On the logical structure of constructive set theories (Online)