基本信息

李大柱  男  硕导  中国科学院大学
电子邮件：lidazhu@ucas.ac.cn
通信地址：
邮政编码：

研究领域

模态逻辑，及其在哲学、博弈、社交网络和其他相关领域的应用

招生信息

招生专业

010104-逻辑学

招生方向

模态逻辑及其变种（哲学逻辑、认知逻辑、动态逻辑、非经典语义）

逻辑与博弈

逻辑与认知

逻辑与社交网络

逻辑与依赖性、因果推理




教育背景

   
博士学位

2017. 9 - 2021. 10，于清华大学哲学系和阿姆斯特丹大学逻辑、语言与计算研究所（ILLC）就读逻辑学专业，获得两校联合授予的哲学博士学位。

硕士学位

2013. 9 - 2017. 7，于北京大学哲学系就读逻辑学专业，获得哲学硕士学位。 


工作经历

  • 2023.12至今，中国科学院哲学研究所、中国科学院大学人文学院，副教授
  • 2021.11-2023.12，中国科学院哲学研究所、中国科学院大学人文学院，讲师

教授课程

   
研究生课程

数理逻辑专题

现代逻辑概论

逻辑与批判性思维

本科生课程

大学写作

出版信息


论文

(*指通讯作者)

  1. Dazhu Li*. A modal logic of definable link deletion. In J. van Benthem and F. Liu, eds., Graph Games and Logic Design: Recent Developments and Future Directions. Springer, accepted, 2024.

  2. Qian Chen, Dazhu Li*, Yaxin Tu, Sujata Ghosh, Fenrong Liu. A modal for the hide and seek game. In J. van Benthem and F. Liu, eds., Graph Games and Logic Design: Recent Developments and Future Directions. Springer, accepted, 2024.

  3. Dazhu Li, Sujata Ghosh, Fenrong Liu*. Knowing is winning: An epistemic approach to the hide and seek game. In J. van Benthem and F. Liu, eds.,  Graph Games and Logic Design: Recent Developments and Future Directions. Springer, accepted, 2024.

  4. Yaxin Tu*, Sujata Ghosh, Fenrong Liu, Dazhu Li. Modelling strategies in hide and seek game: A substitution approach. In J. van Benthem and F. Liu, eds., Graph Games and Logic Design: Recent Developments and Future Directions. Springer, accepted, 2024.

  5. Katsuhiko Sano,  Fenrong Liu, Dazhu Li*. The hide and seek game: Perspectives from hybrid logic. In J. van Benthem and F. Liu, eds., Graph Games and Logic Design: Recent Developments and Future Directions. Springer, accepted, 2024.

  6. Katsuhiko Sano, Fenrong Liu, Dazhu Li*. Hybrid logic of the hide and seek game. Studia Logica, Accepted. 2024. 

  7. Rafal Gruszczynski, Dazhu Li*. The sum relation as a primitive concept of mereology. Studia Logica, Accepted. 2024. 

  8. Qian Chen, Dazhu Li*. Logic of the hide and seek game: characterization, axiomatization, decidability. In N. Gierasimczuk and F. R. Velazquez-Quesada, editors., Proceedings of DaLi 2023, volume 14401 of Lecture Notes in Computer Science, pages 20-34, 2024.  

  9. Dazhu Li, Sujata Ghosh*, Fenrong Liu, and Yaxin Tu. A simple logic for the hide and seek game. Studia Logica. 111 (5): 821-853, 2023. (WoLLIC 21 论文扩展) 

  10. Fenrong Liu and Dazhu Li*: Ten-year history of social network logics in China. Asian Studies, 10 (2): 121-146, 2022.

  11. Dazhu Li and Yanjing Wang*. Mereological bimodal logics. The Review of Symbolic Logic 15 (4): 823-858, 2022. 

  12. Alexandru Baltag, Dazhu Li*, and Mina Young Pedersen. A modal logic for supervised learning. Journal of Logic, Language and Information 31 (2): 213-234, 2022.  (LORI 19 论文扩展) 

  13. Dazhu Li, Sujata Ghosh*, Fenrong Liu, and Yaxin Tu. On the subtle nature of a simple logic of the hide and seek game. In A. Silva, R. Wassermann, and R. de Queiroz, editors, Proceedings of WoLLIC 2021, volume 13038 of Lecture Notes in Computer Science, pages 201-218, 2021.

  14. Dazhu Li*. Losing connection: the modal logic of definable link deletion. Journal of Logic and Computation 30 (3): 715-743, 2020.

  15. Alexandru Baltag, Dazhu Li*, and Mina Young Pedersen. On the right path: a modal logic for supervised learning. In P. Blackburn, E. Lorini, and M. Guo, editors, Proceedings of LORI 2019, volume 11813 of Lecture Notes in Computer Science, pages 1-14, 2019.


书目

  1. Dazhu Li. Formal Threads in the Social Fabric: Studies in the Logical Dynamics of Multi-Agent Interaction. PhD thesis, Tsinghua University and University of Amsterdam, 2021. (https://eprints.illc.uva.nl/id/eprint/2199/)