(For CV in English, see here)
刘佶鑫（1990年生），四川大学哲学系副教授。北京大学哲学博士。
主要研究方向为模态逻辑模型论，特别是多元模态逻辑与弱聚合模态逻辑（WAML）。近期个人兴趣包括选择公理、社会选择理论，谜题与博弈的形式化，一阶模态逻辑的应用等。
主持项目：
《多元模态逻辑对角线算子研究》，国家社科基金西部项目
研究成果：
Saturated Models and Ultrafilter Extension for Weakly Aggregative Modal Logics. Studies in Logic (《逻辑学研究》), 17(6) , 76–92 (2024), Yifeng Ding, Jixin Liu
Someone knows that local reasoning on hypergraphs is a weakly aggregative modal logic. Synthese, 201(2): 46 (2023). Yifeng Ding, Jixin Liu, Yanjing Wang
(An extended journal version of the below one)
Hypergraphs, Local Reasoning, and Weakly Aggregative Modal Logic. Proceeding of LORI 2021, 58–72, Yifeng Ding, Jixin Liu, Yanjing Wang
Model Theoretical Aspects of Weakly Aggregative Modal Logic. Journal of Logic, Language and Information 31, 261–286 (2022). Jixin Liu, Yifeng Ding, Yanjing Wang.
(An extended journal version of the below one)
Weakly Aggregative Modal Logic: characterization and interpolation. Proceeding of LORI 2019, 153-167, Jixin Liu, Yanjing Wang, Yifeng Ding
Model Theoretical Aspects of Normal Polyadic Modal Logic: An Exposition. Studies in Logic (《逻辑学研究》), 12(3), 80-102 (2019), Jixin Liu
本学期开设课程：
哲学逻辑学：本科三年级课程，教材为《Modal Logic》（Blackburn等）。课程会介绍模态逻辑的基础知识以及一点哲学应用。
逻辑学导论：本科一年级新生课程，教材为《符号逻辑讲义》的1-7章。课程会涉及命题语言、真值表语义、真值指派、命题逻辑的推演系统以及完全性定理，有时间的话会简单介绍一下一阶语言。
以往开设课程：
数理逻辑：本科二年级课程。教材为《符号逻辑讲义》和《Mathematical Logic》（Ebbinghaus等）。主要内容是一阶逻辑的基础部分。
集合论基础：本科一年级课程。教材为《Elements of Set Theory》。主要内容是介绍ZFC公理以及基本的集合论知识，包括基数与序数。
现代逻辑导论：硕士一年级课程。教材为《符号逻辑讲义》、《Mathematical Logic》（Ebbinghaus等）、《数理逻辑：证明及其限度》等。主要内容是一阶逻辑的基础部分和哥德尔不完备性定理。
近期研究：
弱滤子与弱聚合模态逻辑（WAML）（合作者：丁一峰、袁嘉辰）
一阶模态逻辑与本体论证明（合作者：黄路苹）
弗协调逻辑与判断聚合理论
其它研究兴趣：
一阶模态逻辑和带命题量词的模态逻辑应用
单调模态逻辑（特别是弱聚合模态逻辑）与邻域语义学的一般性研究
社会选择理论中的逻辑学应用
逻辑谜题与博弈的形式化问题
若你对以上内容感兴趣，请通过邮箱联系我。如果是学生，欢迎报考（或申请推免）四川大学哲学系的逻辑学专业硕士。
关于硕士指导的说明：
若计划选择我做你的硕士导师，请务必提前邮件联系我（以便我告知你相关信息），附上你的个人基本情况说明，以及选择读逻辑学硕士的理由，并简单介绍你感兴趣的问题是什么（包括但不限于逻辑学、哲学）。原则上我指导的硕士论文需要和逻辑学有本质联系（逻辑学的主题或是用到逻辑学的方法），并且要有一定的创新。论文题目可以是自己感兴趣的方向，但最终需要我们一起确定，以保证不偏离学术规范。
近期指导的本科论文：
《判断聚合的一致性研究》，杨鑫
《捉迷藏游戏中的模态逻辑》，张瀚元
《关于自指问题的形式化研究》，赵林垚
《意外考试悖论：怎样考试才是意外？》，张梦凌
若你是川大的本科生，本科论文计划写逻辑学相关的内容，可以联系我指导。
邮箱：xuetian997@scu.edu.cn；ljx900228@163.com
ResearchGate：https://www.researchgate.net/profile/Jixin-Liu-5
