近日，中心硕士张锟与熊作军副教授合作完成的论文Dynamic Epistemic Logic with Private Communication，正式发表于斯普林格（Springer）出版的国际会议论文集Dynamic Logic: New Trends and Applications。该论文集为第六届“动态逻辑：新趋势与应用”国际研讨会（DaLí 2025）的修订论文集，收录于计算机科学讲义（LNCS，EI、SCOPUS索引）第16472 卷，该卷从31份投稿中选出了12篇论文的修订版本，所有稿件都经过三位审稿人的单盲评审，本论文刊载于第 167—179 页。

论文关注多主体系统中的一个基本问题：当一部分主体私下交流信息，而其他主体不仅无法获知交流内容，甚至认为交流从未发生时，参与者与旁观者的知识状态将如何变化？研究构建了用于刻画此类信息互动的动态认知逻辑框架，为分析秘密信息共享、策略性互动以及多主体系统中的私密交流提供了新的形式化工具。该成果是国家社会科学基金一般项目“秘密信息的动态认知逻辑研究”（24BZX112）的阶段性成果。

动态逻辑国际会议（DaLí）是首个完全聚焦动态逻辑研究的国际研讨会系列，旨在汇聚数学、计算机科学、人工智能与哲学逻辑等领域的研究者，交流动态逻辑及其变体的基础理论与应用进展。往届动态逻辑会议分别在巴西利亚（2017）、波尔图（2019）、线上（2020，2022）和第比利斯（2023）举办。第六届动态逻辑国际会议（DaLí 2025）于2025年10月20—21日在陕西师范大学举行，是该系列研讨会首次在亚洲举办。

论文信息：Zhang, K., Xiong, Z. (2026). Dynamic Epistemic Logic with Private Communication. In: Wang, J., Madeira, A., Li, L. (eds) Dynamic Logic. New Trends and Applications. DaLí 2025. Lecture Notes in Computer Science, vol 16472. Springer, Cham. https://doi.org/10.1007/978-3-032-22626-6_10

论文在线链接：https://link.springer.com/chapter/10.1007/978-3-032-22626-6_10

(张锟/文图，熊作军/审核、发布)