基本信息
李大柱  男    中国科学院大学
电子邮件: lidazhu@ucas.ac.cn
通信地址:
邮政编码:

研究领域

模态逻辑

教育背景

   
学历
研究生

学位
哲学博士

工作经历

2021.11至今,中国科学院哲学研究所、中国科学院大学人文学院讲师

出版信息

  1. Fenrong Liu and Dazhu Li*: Ten-year history of social network logics in China. Asian Studies, 2, 121-146, 2022.
  2. Dazhu Li and Yanjing Wang. Mereological bimodal logics. The Review of Symbolic Logic, 1-36, doi:10.1017/S175502032200003X, 2022.
  3. Alexandru Baltag, Dazhu Li*, and Mina Young Pedersen. A modal logic for supervised learning. Journal of Logic, Language and Information, 31, 213-234, 2022.
  4. 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.
  5. Dazhu Li. Losing connection: the modal logic of definable link deletion. Journal of Logic and Computation, 30, 715-743, 2020.
  6. 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.