杜鹏浩;陈倩 链接变化混合逻辑的公理化。 （英语） Zbl 07856038号 Gierasimczuk，Nina（编辑）等人，《动态逻辑》。新趋势和应用。第五届国际研讨会，DaLí2023，格鲁吉亚第比利斯，2023年9月15日至16日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。14401, 35-51 (2024).MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Du}和\textit{Q.Chen}，Lect。注释计算。科学。14401、35-51（2024；Zbl 07856038） 全文： DOI程序
李大竹;苏加塔·戈什;刘芬荣;涂亚欣 一个简单的捉迷藏游戏逻辑。 （英语） Zbl 07755335号 双头螺栓日志。 111，第5号，821-853（2023）.MSC公司：03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{D.Li}等人，研究日志。111，编号5，821--853（2023；Zbl 07755335） 全文： DOI程序 链接
亚历山大·巴尔塔格;李大竹;佩德森，米娜·杨 用于监督学习的模态逻辑。 （英语） 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） 全文： DOI程序
约翰·范·本特姆;米尔泽夫斯基（Mierzewski，Krzysztof）;弗朗西丝卡·扎福拉·布兰多 逐步移除的模态逻辑。 （英语） Zbl 1529.03156号 版本符号。日志。 第15期，第1期，第36-63页（2022年）.MSC公司：03B45号 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem}等人，Rev.Symb。日志。15，编号1，36--63（2022；Zbl 1529.03156） 全文： DOI程序 arXiv公司
李大竹;苏加塔·戈什;刘芬荣;涂亚欣 关于捉迷藏游戏的一个简单逻辑的微妙本质。 （英语） 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） 全文： DOI程序
卡洛斯·阿雷塞斯;汉斯·范·迪特马什;劳尔·费尔瓦里;巴斯蒂安·莫伯特;弗朗索瓦州施瓦岑特鲁伯 作为动态操作符进行复制和删除。 （英语） Zbl 1515.03086号 J.应用。非类别。日志。 31，编号3-4，181-220（2021）.MSC公司：03B45号 03B42号 2015年3月1日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛C.Areces｝等人，J.Appl。非类别。日志。31，编号3--4，181-220（2021；Zbl 1515.03086） 全文： DOI程序 链接
佩德森，米娜·杨;斯梅茨，索尼娅;托马斯·奥戈特内斯 进一步实现社交网络中的两极分化逻辑。 （英语） Zbl 07578376号 Dastani，Mehdi（编辑）等人，《逻辑与论证》。第三届国际会议，CLAR 2020，中国杭州，2020年4月6日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12061, 324-345 (2020).MSC公司：03B70号 03B45号 91天30分 PDF格式BibTeX公司 XML格式引用 \textit{M.Y.Pedersen}等人，Lect。注释计算。科学。12061224-345（2020年；兹bl 07578376） 全文： DOI程序