个人简历

刘佶鑫（1990年—），四川自贡人。武汉大学哲学学士，中国人民大学哲学硕士，北京大学逻辑学专业哲学博士。2017年10月至2018年10月在加州大学伯克利分校访问。现任职于四川大学哲学系科学哲学与逻辑学教研室。
在研项目：
1.《弱聚合模态逻辑模型论研究》，第68批国家博士后基金面上资助
2.《弱聚合模态逻辑的模型论研究》，四川大学专职博士后研发基金
开设课程：
1.逻辑学导论：本科一年级新生课程，教材为《符号逻辑讲义》（徐明著），课程涉及1-6章。课程会介绍命题语言、真值表语义、真值指派、命题逻辑的推演系统以及完全性定理。
2.数理逻辑：本科二年级课程，教材为《符号逻辑讲义》、《Elements of Set Theory》和《Mathematical Logic》（Ebbinghaus等著）。课程主要内容是一阶逻辑与集合论的基础部分。
3.哲学逻辑学：本科三年级课程，教材为《Modal Logic》（Blackburn等著）。课程会介绍模态逻辑的基础知识以及一点哲学应用。
4.现代逻辑导论：硕士一年级课程，教材为《符号逻辑讲义》、《Elements of Set Theory》和《Mathematical Logic》（Ebbinghaus等著）。课程主要内容是一阶逻辑与集合论的基础部分。
5.哲学逻辑专题：硕士二年级课程，教材为《Modal Logic》（Blackburn等著）。课程涉及模态逻辑的基础部分以及一点模态逻辑模型论。
近期研究：
1.弱聚合模态逻辑（WAML）在超图上的应用（Joint work with丁一峰、王彦晶）（Submitted to Synthese）
2.正规多元模态逻辑里的语义学问题：包括量词的不同迭代带来的不同性质；（Joint work with杨曦, in his MA Thesis）
其它研究兴趣：
1.模态逻辑中的选择公理相关问题：
a.与Bisimulation Games相关的选择公理问题。
b.McKinsey公式的对应理论。(Joint work with申国桢)
2.模态饱和性的相关推广。（Joint work with丁一峰）
3.社会选择理论中的逻辑学应用
我指导的本科论文：
1.On Strawson’s Objectivity and Re-identifiability，孙聪艺（柏林洪堡大学攻读硕士）；
2.囚徒困境与偏好逻辑，刘煌（北京师范大学攻读硕士）。
若你是川大的本科生，本科论文计划写逻辑学或时间哲学内容，可以联系我指导。

研究领域

为模态逻辑的模型论理论研究，特别是多元模态逻辑与弱聚合模态逻辑（WAML）。近期个人兴趣包括模态逻辑中的选择公理、社会选择理论与博弈相关的逻辑学应用等问题。""

近期论文

1.Model Theoretical Aspects of Normal Polyadic Modal Logic: An Exposition, 12(3), 80-102:《逻辑学研究》,刘佶鑫
2.Weakly Aggregative Modal Logic: characterization and interpolation, Proceeding of LORI 2019, 153-167, Jixin Liu, Yanjing Wang, Yifeng Dinghttps://doi.org/10.1007/978-3-662-60292-8_12
3.Model Theoretical Aspects of Weakly Aggregative Modal Logic.Journal of Logic, Language and Information31, 261–286 (2022). Jixin Liu, Yifeng Ding , Yanjing Wang.
https://doi.org/10.1007/s10849-022-09366-x(An extended journal version of the above one)
4.Hypergraphs, Local Reasoning, and Weakly Aggregative Modal Logic. Proceeding of LORI 2021, 58–72,Yifeng Ding, Jixin Liu, Yanjing Wanghttps://doi.org/10.1007/978-3-030-88708-7_5
《逻辑学研究》审稿人，四川省逻辑学会副秘书长。