Modal logic, and its applications to philosophy, games, social networks and other relevant fields

   

• 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.
  

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. (An extension of the WoLLIC 21 paper)
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. (An extension of the LORI 19 paper)
   
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.