Dazhu Li

Last updated September 2026

Research

My research interests, publications, current work, and funded projects.

Research interests

Logic

Modal Logic, Dynamic Logic, Epistemic Logic

Applications of Logic

Logic in Philosophy, Games, Social Networks, Theoretical Computer Science, and AI

Current research directions

  • Logics for graph games
  • Logics for dependence and causality
  • Modal approaches towards mereology
  • New foundations for epistemic logic and uncertainty reasoning
  • Monotonicity reasoning

Publications

* indicates corresponding author.

Journal articles

  1. Yixun Zhong and Dazhu Li*. “Preference Aggregation in Hierarchical Voting Models and Analysis of Its Normative Properties.” Studies in Logic, accepted, 2026. In Chinese.
  2. Qian Chen and Dazhu Li*. “On the Logic of the Hide and Seek Game.” Journal of Logic, Language and Information 35: 135-159, 2026.
  3. Katsuhiko Sano, Fenrong Liu, and Dazhu Li*. “Hybrid Logic of the Hide and Seek Game.” Studia Logica 114(2): 349-381, 2026.
  4. Yaxin Tu, Sujata Ghosh, Fenrong Liu, and Dazhu Li*. “A Modal Approach towards Substitutions.” Annals of Pure and Applied Logic 177(7): 103742, 2026.
  5. Alexandru Baltag, Johan van Benthem, and Dazhu Li*. “Temporal Dependencies in Dynamical Systems, a Modal-style Exploration.” Journal of Logic, Language and Information 35: 381-420, 2026.
  6. Penghao Du, Fenrong Liu, and Dazhu Li*. “Modal Logics for the Poison Game: Axiomatization and Undecidability.” Review of Analytic Philosophy 5(1): 43-77, 2025.
  7. Dazhu Li, Sujata Ghosh, and Fenrong Liu*. “Reasoning under Uncertainty in the Game of Cops and Robbers.” Synthese 206: 101, 2025.
  8. Rafał Gruszczyński and Dazhu Li*. “The Sum Relation as a Primitive Concept of Mereology.” Studia Logica 113(3): 601-617, 2025.
  9. Dazhu Li, Sujata Ghosh*, Fenrong Liu, and Yaxin Tu. “A Simple Logic of the Hide and Seek Game.” Studia Logica 111(5): 821-853, 2023.
  10. Dazhu Li and Yanjing Wang*. “Mereological Bimodal Logics.” The Review of Symbolic Logic 15(4): 823-858, 2022.
  11. Fenrong Liu and Dazhu Li*. “Ten-year History of Social Network Logics in China.” Asian Studies 10(2): 121-146, 2022.
  12. 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.
  13. Dazhu Li*. “Losing Connection: The Modal Logic of Definable Link Deletion.” Journal of Logic and Computation 30(3): 715-743, 2020.

Conference proceedings

  1. Dazhu Li* and Sujata Ghosh. “Cops Only Need Factual Knowledge to Catch Robbers.” In Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning (KR 2026), IJCAI Organization, 2026.
  2. Dazhu Li and Katsuhiko Sano*. “Finite Axiomatization for the Hybrid Product Logics with Diagonal Constant.” In Proceedings of AWPL 2025, accepted.
  3. Qian Chen and Dazhu Li*. “Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability.” In Proceedings of DaLí 2023, LNCS 14401, pp. 20-34, Springer, 2024.
  4. Dazhu Li, Sujata Ghosh*, Fenrong Liu, and Yaxin Tu. “On the Subtle Nature of a Simple Logic of the Hide and Seek Game.” In Logic, Language, Information, and Computation (WoLLIC 2021), LNCS 13038, pp. 201-218, Springer, 2021.
  5. Alexandru Baltag, Dazhu Li*, and Mina Young Pedersen. “On the Right Path: A Modal Logic for Supervised Learning.” In Proceedings of LORI 2019, LNCS 11813, pp. 1-14, Springer, 2019.

Book chapters

  1. Dazhu Li*. “A Modal Logic of Definable Link Deletion.” In Graph Games and Logic Design: Recent Developments and Further Directions, pp. 75-101, Springer, 2026.
  2. Qian Chen, Dazhu Li*, Yaxin Tu, Sujata Ghosh, and Fenrong Liu. “A Modal Logic for the Hide and Seek Game.” In Graph Games and Logic Design: Recent Developments and Further Directions, pp. 177-206, Springer, 2026.
  3. Dazhu Li, Sujata Ghosh, and Fenrong Liu*. “Knowing Is Winning: An Epistemic Approach to the Hide and Seek Game.” In Graph Games and Logic Design: Recent Developments and Further Directions, pp. 233-250, Springer, 2026.
  4. Yaxin Tu*, Sujata Ghosh, Fenrong Liu, and Dazhu Li. “Modelling Strategies in Hide and Seek Game: A Substitution Approach.” In Graph Games and Logic Design: Recent Developments and Further Directions, pp. 279-303, Springer, 2026.
  5. Katsuhiko Sano, Fenrong Liu, and Dazhu Li*. “The Hide and Seek Game: Perspectives from Hybrid Logic.” In Graph Games and Logic Design: Recent Developments and Further Directions, pp. 207-231, Springer, 2026.

Doctoral dissertation

  1. 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. Repository record.

Research under submission and in progress

  1. Modal Logic (in Chinese).
    Joint work with Johan van Benthem and Xinwen Liu.
  2. Decidability of the hybrid logic of hide and seek games.
    Joint work with Fenrong Liu and Katsuhiko Sano.
  3. Hybrid logics for product logics with diagonal constant.
    Joint work with Katsuhiko Sano.
  4. Epistemic logic of hide and seek games with simultaneous movements.
    Joint work with Sujata Ghosh.
  5. Tableau for the logic of hide and seek game.
    Joint work with Carlos Areces, Valentin Cassano, and Qian Chen.
  6. Topological approach to mereological sum and fusion.
    Joint work with Rafał Gruszczyński.
  7. Abstract mereology.
    Joint work with Rafał Gruszczyński.

Funded projects

Principal investigator

Participant