Dazhu Li
Associate Professor
Institute of Philosophy, Chinese Academy of Sciences;
Department of Philosophy, University of Chinese Academy of Sciences
Email: lidazhu@ucas.ac.cn
Research Areas
Modal logic, and its applications to philosophy, games, social networks and other relevant fields
Education
- I got a PhD degree jointly awarded by the Department of Philosophy, Tsinghua University, and the Institute for Logic, Language and Computation, University of Amsterdam (Sep. 2017 - Oct. 2021).
- I got a Master degree from the Department of Philosophy, Peking University (Sep. 2013 - July 2017).
Experience
Work Experience
Dec. 2023 - present, Associate Professor, Institute of Philosophy, Chinese Academy of Sciences & Department of Philosophy, University of Chinese Academy of Sciences.
Nov. 2021 - Dec. 2023, Assistant Professor, Institute of Philosophy, Chinese Academy of Sciences & Department of Philosophy, University of Chinese Academy of Sciences.
Publications
Papers
- 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.
- 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.
- 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.
- 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.
- 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.
- Katsuhiko Sano, Fenrong Liu, Dazhu Li*. Hybrid logic of the hide and seek game. Studia Logica, Accepted. 2024.
- Rafal Gruszczynski, Dazhu Li*. The sum relation as a primitive concept of mereology. Studia Logica, Accepted. 2024.
- 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.
- 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. (An extension of the WoLLIC 21 paper)
- Fenrong Liu and Dazhu Li*: Ten-year history of social network logics in China. Asian Studies 10 (2): 121-146, 2022.
- Dazhu Li and Yanjing Wang*. Mereological bimodal logics. The Review of Symbolic Logic 15 (4): 823-858, 2022.
- 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. (An extension of the LORI 19 paper)
- 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.
- Dazhu Li*. Losing connection: the modal logic of definable link deletion. Journal of Logic and Computation 30 (3): 715-743, 2020.
- 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.
Books
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/)