Area of Specialization

• Modal Logic
• Dynamic Logic
• Epistemic Logic
• Logic in Philosophy/Games/Social Networks  

Publications

(* indicates corresponding author)

In journals:

     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. 

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

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

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

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

6. Dazhu Li*. Losing connection: the modal logic of definable link deletion. Journal of Logic and Computation, 30, 715-743, 2020.

In conferences proceedings: 

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. 

CV-Dazhu Li.pdf

Powered by Froala Editor