一、受邀参加“社会网络逻辑前沿研讨会”并作学术报告

2026年6月3日至4日，“社会网络逻辑前沿研讨会”（Workshop on Advances in Social Network Logic）在清华大学举行。中心熊作军副教授受邀参会，并作了题为“On the Logic of Balance in Social Networks”（社会网络中的平衡逻辑）的学术报告。

报告围绕社会网络中的“平衡”概念展开。熊作军从“正负标记图”（signed graph）的基本结构出发，系统介绍了社会网络结构平衡的经典理论——Harary于20世纪中期提出的结构平衡定理。在此基础上，报告引入了“n度平衡”的新概念，即网络中不存在长度不超过n的含奇数条负边的环。针对这一更精细的平衡刻画，报告给出了一种最小模态逻辑语言，能够表达网络中主体之间的正负关系；并构建了可靠且弱完全的希尔伯特式公理系统PNR_n，为推理n度平衡网络的性质提供了逻辑工具。报告还进一步将该逻辑扩展至完全网络的情形，证明了相应公理系统相对于完全平衡网络类的可靠性与完全性。来自格罗宁根大学、卑尔根大学、奥克兰大学、清华大学、中国科学院大学、中国政法大学等多所高校和研究机构的专家学者围绕社会网络逻辑的模型理论、公理系统及其应用前景等议题进行了交流。

二、受邀参加“2026全国数理逻辑年会并作学术报告”并作学术报告

6月5日至7日，2026全国数理逻辑年会在清华大学举行。本次会议由中国数学会数理逻辑专业委员会主办，清华大学-阿姆斯特丹大学逻辑学联合研究中心、求真书院、哲学系共同承办。来自中国科学院、北京大学、南开大学、复旦大学、阿姆斯特丹大学、南洋理工大学等国内外高校和科研机构的专家学者，以及全国30余所高校的百余名师生参会。中心熊作军副教授受邀参加，并在哲学逻辑分会场作了题为“On the Logic and Reasoning of Secret Knowledge”（秘密知识的逻辑与推理）的学术报告。

年会围绕数理逻辑及相关领域前沿问题设置了4场大会学术报告、1场大会科普性报告，并设有集合论、模型论、递归论、哲学逻辑4个分会场共12场分组学术报告，同时举办学术海报展示与交流活动。大会学术报告环节，复旦大学教授威廉·约翰逊（William Johnson）、南洋理工大学教授黄剑明（Keng Meng Ng）、阿姆斯特丹大学副教授尼克·贝扎尼什维利（Nick Bezhanishvili）、中国科学院副研究员吴刘臻分别展示了数理逻辑多个核心方向的最新研究进展。

熊作军在哲学逻辑分会场报告中，聚焦于多主体系统中“秘密知识”的逻辑刻画问题。报告将“秘密”形式化地定义为：主体a知道φ，并且a知道所有其他主体都不知道φ。在此定义基础上，报告系统介绍了秘密逻辑的语言、模型与语义，详细讨论了秘密模态算子的一系列逻辑性质，包括秘密的正自省性、负自省性的缺失、秘密的非单调性等。报告还考察了“独知”（exclusive knowing）与秘密之间的关系，揭示了秘密逻辑在多主体情境下的非紧致性特征，并介绍了针对单主体纯秘密逻辑的无穷证明系统。报告最后讨论了秘密逻辑的若干扩展方向，包括秘密地知道某个值、高阶秘密、群体秘密以及秘密的动态变化等。报告受到了来自国内外专家学者的关注与讨论。

（熊作军/文图，郭美云/审核，熊作军/发布）