分享:
李大柱
研究领域
- 模态逻辑
- 动态逻辑
- 认知逻辑
- 逻辑在哲学、博弈和社交网络等中的应用
已发表
(* 指通讯作者)
期刊论文:
- Katsuhiko Sano, Fenrong Liu, Dazhu Li*. Hybrid logic of the hide and seek game. Studia Logica. Accepted. 2024.
- Rafal Gruszczynski, Dazhu Li*. The sum relation as a primitive concept of mereology. Studia Logica. Accepted. 2024.
- 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论文扩展)
- Dazhu Li, Yanjing Wang*. Mereological bimodal logics. The Review of Symbolic Logic, 15, 823-858, 2022.
- Fenrong Liu, Dazhu Li*. Ten-year history of social network logics in China. Asian Studies 10 (2): 121-146, 2022.
- 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 论文扩展)
- Dazhu Li*. Losing connection: the modal logic of definable link deletion. Journal of Logic and Computation, 30, 715-743, 2020.
会议论文:
- 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.
- 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.
- 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.
书目章节:
- 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. Springer, accepted, 2025.
- 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. Springer, accepted, 2025.
- 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. Springer, accepted, 2025.
- 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. Springer, accepted, 2025.
- 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. Springer, accepted, 2025.
个人简历-李大柱.pdf
Powered by Froala Editor