X-2019-01: Li, Dazhu (2019) Losing Connection: the Modal Logic of Definable Link Deletion. [Report]
DS-2021-13: Li, Dazhu (2021) Formal Threads in the Social Fabric: Studies in the Logical Dynamics of Multi-Agent Interaction. Doctoral thesis, University of Amsterdam.