张践明 陈建中 凌兴宏 刘全 潘天群 杨鲲 孙德刚 陈清亮 李凡长 朱可宜 崔志明 刘大有 黄志球

知识—信念 完备性 可靠性 知识与信念 逻辑全知 模态逻辑 时态逻辑 公共知识 归纳逻辑 可能世界语义 交互认识论 辩明的真信念 知道 语义模型 测度函数 行为理论 公理化系统 模型检测 描述逻辑 可能世界语义学 agent 多主体 情景 公共知识逻辑