2025年11月22-23日，第四届多主体系统中的逻辑研讨会（4th Workshop on Logics for Multi-Agent Systems，简称LMAS）由南开大学哲学院主办，在南开大学津南校区举行。本次会议以哲学、逻辑学、人工智能、计算机科学等领域的“多主体系统逻辑”研究为主题，来自北京大学、北京师范大学、中国政法大学、南开大学、浙江大学、西南大学、西安交通大学以及新西兰奥克兰大学与荷兰阿姆斯特丹大学等二十余位专家学者参加了此次研讨会。据悉，LMAS已分别在北京师范大学（2022）、西南大学（2023）、浙江大学（2024）成功举办，逐渐受到了逻辑学界师生与学者的关注。

中心熊作军副教授与博士生郑怡参加了此次研讨会。熊作军做了《秘密知识的邻域语义研究》的报告交流，报告基于邻域语义学，为多主体系统中的秘密知识推理构建了一个逻辑框架。其核心概念是将“主体的秘密”定义为该主体已知且确信其他主体未知的信息。通过引入了特定的邻域模型——stica模型来确保秘密模态算子的行为符合直观认知。据此，进一步给出了相应逻辑系统STICA，并证明其相对于该类STICA模型是可靠且强完全的。最后，报告还介绍了“秘密正自省”公理（即“若某命题A是你的秘密，则该事实本身也是你的秘密”）的逻辑扩展，指出该公理在stica模型中不是有效的，并进一步分析了其对应的语义性质、以及秘密与信念、知识等模态间的互动问题等。与会师生学者就“秘密信息”的逻辑特性、邻域语义特性以及与知识模态的多主体互动特性等展开了热烈的探讨。

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