研究领域

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

已发表

(* 指通讯作者)

期刊论文：

1. Qian Chen, Dazhu Li*. On the logic of the hide and seek game. Journal of Logic, Language and Information. Accepted. 2026.
2. Yaxin Tu, Sujata Ghosh, Fenrong Liu, Dazhu Li*. A modal approach towards substitutions. Annals of Pure and Applied Logic, 117(7): 103742, 2026.
3. Katsuhiko Sano, Fenrong Liu, Dazhu Li*. Hybrid logic of the hide and seek game. Studia Logica, 114 (2): 349-381, 2026.
4. Alexandru Baltag, Johan van Benthem, Dazhu Li*. Temporal dependencies in dynamical systems, a modal-style exploration. Journal of Logic, Language and Information, Accepted. 2026.
5. Penghao Du, Fenrong Liu, Dazhu Li*. Modal logics for the poison game: axiomatization and undecidability.  Review of Analytic Philosophy, 5(1), 43-77, 2025.
6. Rafal Gruszczynski, Dazhu Li*. The sum relation as a primitive concept of mereology. Studia Logica, 113 (3): 601-617, 2025.

7. Dazhu Li, Sujata Ghosh, Fenrong Liu*. Reasoning under uncertainty in the game of Cops and Robbers. Synthese, 206, 101, 2025

8. 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论文扩展)

9. Dazhu Li, Yanjing Wang*. Mereological bimodal logics. The Review of Symbolic Logic, 15, 823-858, 2022.

10. Fenrong Liu, Dazhu Li*. Ten-year history of social network logics in China. Asian Studies 10 (2): 121-146, 2022.

11. 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 论文扩展)
12. Dazhu Li*. Losing connection: the modal logic of definable link deletion. Journal of Logic and Computation, 30, 715-743, 2020.

    会议论文：

1. Dazhu Li*, Sujata Ghosh. Cops only need factual knowledge to catch robbers. In Proceedings of KR 2026, accepted.
2. Dazhu Li, Katsuhiko Sano*. Finite axiomatization for the hybrid product logics with diagonal constant. In Proceedings of AWPL 2025, accepted
3. 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. 

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

5. 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, pp. 75-101, Springer, 2026. 
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, pp. 177-206, Springer, 2026.
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, pp. 233-250, Springer, 2026.
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, pp. 279-303, Springer, 2026.
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, pp. 207-231, Springer, 2026

Powered by Froala Editor