肖茵茵 苏开乐 吴光伟 古天龙 董荣胜 杨晋吉 顾明 吕关锋

同步时态认知模型 模态算子 和与积难题 有序二值判定图（OBDD） 多智体系统 有界模型检测 公告逻辑 递推公式

河南洛阳 广东广州 中山大学计算机科学系 华南师范大学计算机学院 北京大学信息科学技术学院 桂林电子科技大学计算机系 桂林电子科技大学计算机与控制学院 河南科技大学电子信息工程学院洛阳