Dazhu LI
李大柱
职位
副教授
邮箱
lidazhu@ucas.ac.cn
电话
个人履历

研究领域

  • 模态逻辑
  • 动态逻辑
  • 认知逻辑
  • 逻辑在哲学、博弈和社交网络等中的应用


已发表

(* 指通讯作者)

期刊论文:

  1. Katsuhiko Sano, Fenrong Liu, Dazhu Li*. Hybrid logic of the hide and seek game. Studia Logica. Accepted. 2024.
  2. Rafal Gruszczynski, Dazhu Li*. The sum relation as a primitive concept of mereology. Studia Logica. Accepted. 2024. 
  3. Dazhu Li, Sujata Ghosh*, Fenrong Liu, Yaxin Tu. A simple logic of the hide and seek game. Studia Logica 111 (5): 821-853, 2023. (WoLLIC 2021论文扩展)
  4. Dazhu Li, Yanjing Wang*. Mereological bimodal logics. The Review of Symbolic Logic, 15, 823-858, 2022.
  5. Fenrong Liu, Dazhu Li*. Ten-year history of social network logics in China. Asian Studies 10 (2): 121-146, 2022.
  6. Alexandru Baltag, Dazhu Li*, Mina Young Pedersen. A modal logic for supervised learning. Journal of Logic, Language and Information, 31, 213-234, 2022.  ( LORI 19 论文扩展)
  7. Dazhu Li*. Losing connection: the modal logic of definable link deletion. Journal of Logic and Computation, 30, 715-743, 2020.


    会议论文:

  1. Qian Chen, Dazhu Li*. Logic of the hide and seek game: characterization, axiomatization, decidability. In N. Gierasimczuk and F. R. Velazquez-Quesada, eds., Proceedings of DaLi 2023, Vol. 14401 of Lecture Notes in Computer Science, pp. 20-34, 2024. 
  2. Dazhu Li,  Sujata Ghosh*,  Fenrong Liu,  and Yaxin Tu. On the subtle nature of a simple logic of hide and seek games. In A. Silva, R. Wassermann, and R. de Queiroz, editors, Proceedings of WoLLIC 2021, volume 13038 of LNCS, pages 201-218, 2021.
  3. Alexandru Baltag, Dazhu Li*, 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 LNCS, pages 1-14, 2019.

书目章节:

  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, 2025. 
  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, 2025. 
  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, 2025. 
  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, 2025. 
  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, 2025.


个人简历-李大柱.pdf


Powered by Froala Editor