汉斯·克莱那·布吕宁 姚从军 刘虎 马克·雷诺兹 乌维·布贝克

合作 保证系统 行动 流行语 网络语言 句式 扩展 量化 命题逻辑 多主体 线性时态逻辑 广义量词 表达方式 决策问题 经典逻辑 计算复杂性 推理 因果关系 变元 布尔线路 连接词 辅助 公式 钉子户 定义结构 自然数