李大竹;Ghosh，Sujata先生;刘芬荣;涂亚欣 一个简单的捉迷藏游戏逻辑。 （英语） Zbl 07755335号 双头螺栓日志。 111，第5号，821-853（2023）.MSC公司：03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{D.Li}等人，研究日志。111，编号5，821--853（2023；Zbl 07755335） 全文： 内政部 链接
亚历山大·巴尔塔格;李大竹;佩德森，米娜·杨 用于监督学习的模态逻辑。 （英语） Zbl 1515.03089号 J.逻辑语言信息。 31，第2期，213-234（2022）.MSC公司：03B45号 68T05型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit｛A.Baltag｝等人，《逻辑语言汇编》第31期，第2期，第213-234页（2022年；Zbl 1515.03089） 全文： 内政部
李大竹;苏加塔·戈什;刘芬荣;涂亚欣 关于捉迷藏游戏的一个简单逻辑的微妙本质。 （英语） Zbl 07547742号 Silva，Alexandra（编辑）等人，《逻辑、语言、信息和计算》。第27届国际研讨会，WoLLIC 2021，虚拟活动，2021年10月5日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13038, 201-218 (2021).MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Li}等人，Lect。注释计算。科学。13038，201--218（2021；Zbl 07547742） 全文： 内政部