研究领域

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

已发表

(* 指通讯作者)

期刊论文：

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. 

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

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

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

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

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

会议论文：

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. 

个人简历-李大柱.pdf

Powered by Froala Editor