基本信息

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

研究领域

模态逻辑

教育背景

   
学历

研究生

学位

哲学博士

工作经历

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

出版信息

(*指通讯作者)
  1. 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.  
  2. 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 论文扩展) 
  3. Fenrong Liu and Dazhu Li*: Ten-year history of social network logics in China. Asian Studies, 10 (2): 121-146, 2022.
  4. Dazhu Li and Yanjing Wang*. Mereological bimodal logics. The Review of Symbolic Logic 15 (4): 823-858, 2022. 
  5. 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 论文扩展) 
  6. 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.
  7. Dazhu Li*. Losing connection: the modal logic of definable link deletion. Journal of Logic and Computation 30 (3): 715-743, 2020.
  8. 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.