模态逻辑，动态逻辑，认知逻辑，逻辑在哲学、博弈、社交网络、理论计算机和人工智能等中的应用

目前感兴趣的方向：（1）图博弈中的逻辑推理，（2）依赖性和因果性的逻辑，（3）Mereology 的模态基础，（4）认知逻辑、不确定推理的新基础，（5）单调性推理

更多信息请见个人网站 https://dazhuli-logic.github.io/

我招收逻辑学专业的硕士生，欢迎联系 lidazhu@ucas.ac.cn