Dazhu Li

According to our database, Dazhu Li authored at least 8 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

A Simple Logic of the Hide and Seek Game.

Dazhu Li, Sujata Ghosh, Fenrong Liu, Yaxin Tu

Stud Logica, October, 2023

Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability.

Qian Chen, Dazhu Li

Proceedings of the Dynamic Logic. New Trends and Applications - 5th International Workshop, 2023

2022

Mereological Bimodal Logics.

Dazhu Li, Yanjing Wang

Rev. Symb. Log., 2022

A Modal Logic for Supervised Learning.

Alexandru Baltag, Dazhu Li, Mina Young Pedersen

J. Log. Lang. Inf., 2022

A Logical Analysis of Dynamic Dependence.

Alexandru Baltag, Johan van Benthem, Dazhu Li

CoRR, 2022

2021

On the Subtle Nature of a Simple Logic of the Hide and Seek Game.

Dazhu Li, Sujata Ghosh, Fenrong Liu, Yaxin Tu

Proceedings of the Logic, Language, Information, and Computation, 2021

2020

Losing connection: the modal logic of definable link deletion.

Dazhu Li

J. Log. Comput., 2020

2019

On the Right Path: A Modal Logic for Supervised Learning.

Alexandru Baltag, Dazhu Li, Mina Young Pedersen

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019