混合空间逻辑是模态逻辑的两个子领域——子集空间逻辑和混合逻辑——的交叉分支。该逻辑可用于刻画知识以及认知努力的推理,并且比常见的认知逻辑具有更强的表达能力。王轶所著的《混合空间逻辑》系统化地介绍作者在混合空问逻辑这一领域的研究成果。 阅读本书zui好首先掌握命题逻辑和一阶逻辑的基本知识,熟悉模态逻辑相关内容的读者更易于进入本书的核心内容。本书可作为逻辑学、哲学、数学以及计算机等专业的教材,适合相关专业的老师和研究生参阅。 本书系统化地介绍作者在混合空间逻辑这一领域的研究成果。混合空间逻辑是模态逻辑的两个子领域──子集空间逻辑和混合逻辑──的交叉分支, 该逻辑可用于进行知识以及认知努力的推理, 并且比常见的认知逻辑具有更强的刻画能力。本书内容相当前沿性, 对逻辑学、数学及理论计算
|