附件:设置1:设置2:设置3:混合空间逻辑是模态逻辑的两个子领域--子集空间逻辑和混合逻辑--的交叉分支。该逻辑可用于刻画知识以及认知努力的推理, 并且比常见的认知逻辑具有更强的表达能力。本书系统化地介绍作者在混合空问逻辑这一领域的研究成果。阅读本书最好首先掌握命题逻辑和一阶逻辑的基本知识, 熟悉模态逻辑相关内容的读者更易于进入本书的核心内容。摘要:有书目 (第259-275页) 和索引
附注提要
混合空间逻辑是模态逻辑的两个子领域--子集空间逻辑和混合逻辑--的交叉分支。该逻辑可用于刻画知识以及认知努力的推理, 并且比常见的认知逻辑具有更强的表达能力。本书系统化地介绍作者在混合空问逻辑这一领域的研究成果。阅读本书最好首先掌握命题逻辑和一阶逻辑的基本知识, 熟悉模态逻辑相关内容的读者更易于进入本书的核心内容。