Dazhu Li

15 papers C 1Journal 12Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
A modal approach towards substitutions.
Ann. Pure Appl. Log.
Yaxin Tu, Sujata Ghosh, Fenrong Liu, Dazhu Li
2025 J jnl
A modal approach towards substitutions.
CoRR
Yaxin Tu, Sujata Ghosh, Fenrong Liu, Dazhu Li
2025 J jnl
Reasoning under uncertainty in the game of Cops and Robbers.
CoRR
Dazhu Li, Sujata Ghosh, Fenrong Liu
2025 J jnl
The Sum Relation as a Primitive Concept of Mereology.
Stud Logica
Rafal Gruszczynski, Dazhu Li
2023 J jnl
A Simple Logic of the Hide and Seek Game.
Stud Logica
Dazhu Li, Sujata Ghosh, Fenrong Liu, Yaxin Tu
2023 — conf
Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability.
DaLí
Qian Chen, Dazhu Li
2023 J jnl
Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability.
CoRR
Qian Chen, Dazhu Li
2022 J jnl
A Logical Analysis of Dynamic Dependence.
CoRR
Alexandru Baltag, Johan van Benthem, Dazhu Li
2022 J jnl
A Modal Logic for Supervised Learning.
J. Log. Lang. Inf.
Alexandru Baltag, Dazhu Li, Mina Young Pedersen
2022 J jnl
Mereological Bimodal Logics.
Rev. Symb. Log.
Dazhu Li, Yanjing Wang
2021 C conf
On the Subtle Nature of a Simple Logic of the Hide and Seek Game.
WoLLIC
Dazhu Li, Sujata Ghosh, Fenrong Liu, Yaxin Tu
2020 J jnl
Losing connection: the modal logic of definable link deletion.
J. Log. Comput.
Dazhu Li
2019 — conf
On the Right Path: A Modal Logic for Supervised Learning.
LORI
Alexandru Baltag, Dazhu Li, Mina Young Pedersen
2019 J jnl
On the Right Path: A Modal Logic for Supervised Learning.
CoRR
Alexandru Baltag, Dazhu Li, Mina Young Pedersen
2018 J jnl
Losing Connection: Modal Logic of Definable Link Deletion.
CoRR
Dazhu Li