Losing connection: the modal logic of definable link deletion D Li Journal of Logic and Computation 30 (3), 715-743, 2020 | 19 | 2020 |
On the right path: A modal logic for supervised learning A Baltag, D Li, MY Pedersen Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019 …, 2019 | 11 | 2019 |
On the subtle nature of a simple logic of the hide and seek game D Li, S Ghosh, F Liu, Y Tu Logic, Language, Information, and Computation: 27th International Workshop …, 2021 | 9 | 2021 |
A modal logic for supervised learning A Baltag, D Li, MY Pedersen Journal of Logic, Language and Information 31 (2), 213-234, 2022 | 6 | 2022 |
Ten-year history of social network logics in China F Liu, D Li Asian Studies 10 (2), 121-146, 2022 | 6 | 2022 |
A simple logic of the hide and seek game D Li, S Ghosh, F Liu, Y Tu Studia Logica 111 (5), 821-853, 2023 | 3 | 2023 |
Mereological bimodal logics D Li, Y Wang The Review of Symbolic Logic 15 (4), 823-858, 2022 | 3 | 2022 |
A logical analysis of dynamic dependence A Baltag, J van Benthem, D Li arXiv preprint arXiv:2204.07839, 2022 | 3 | 2022 |
Formal Threads in the Social Fabric: Studies in the Logical Dynamics of Multi-Agent Interaction D Li University of Amsterdam, 2022 | 3 | 2022 |
Hybrid logic of the hide and seek game K Sano, F Liu, D Li Studia Logica, 1-33, 2024 | 2 | 2024 |
Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability Q Chen, D Li International Workshop on Dynamic Logic, 20-34, 2023 | 2 | 2023 |
Action-information interplay in the cops and robber game D Li, S Ghosh, F Liu Manuscript, 2023 | 2 | 2023 |
Dependence Logics in Temporal Settings A Baltag, J van Benthem, D Li arXiv e-prints, arXiv: 2204.07839, 2022 | 1 | 2022 |
The sum relation as a primitive concept of mereology R Gruszczyński, D Li Studia Logica, 1-17, 2024 | | 2024 |