Dazhu Li

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 11

Top Topics

Prime Implicates

Winning Strategy

Decision Procedures

Top Venues

J. Log. Comput.

Publications

Dazhu Li, Sujata Ghosh, Fenrong Liu, Yaxin Tu
A Simple Logic of the Hide and Seek Game. Stud Logica 111 (5) (2023)
Qian Chen, Dazhu Li
Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability. DaLí (2023)
Qian Chen, Dazhu Li
Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability. CoRR (2023)
Alexandru Baltag, Johan van Benthem, Dazhu Li
A Logical Analysis of Dynamic Dependence. CoRR (2022)
Dazhu Li, Yanjing Wang
Mereological Bimodal Logics. Rev. Symb. Log. 15 (4) (2022)
Alexandru Baltag, Dazhu Li, Mina Young Pedersen
A Modal Logic for Supervised Learning. J. Log. Lang. Inf. 31 (2) (2022)
Dazhu Li, Sujata Ghosh, Fenrong Liu, Yaxin Tu
On the Subtle Nature of a Simple Logic of the Hide and Seek Game. WoLLIC (2021)
Dazhu Li
Losing connection: the modal logic of definable link deletion. J. Log. Comput. 30 (3) (2020)
Alexandru Baltag, Dazhu Li, Mina Young Pedersen
On the Right Path: A Modal Logic for Supervised Learning. CoRR (2019)
Alexandru Baltag, Dazhu Li, Mina Young Pedersen
On the Right Path: A Modal Logic for Supervised Learning. LORI (2019)
Dazhu Li
Losing Connection: Modal Logic of Definable Link Deletion. CoRR (2018)