混合空间逻辑

本书撰写风格采用现代逻辑学术专著的一贯呈现方式，系统化地介绍作者在混合空间逻辑这一领域的研究成果。混合空间逻辑是模态逻辑的两个子领域──子集空间逻辑和混合逻辑──的交叉分支，该逻辑可用于进行知识以及认知努力的推理，并且比常见的认知逻辑具有更强的刻画能力。本书内容相当前沿性，对逻辑学、数学及理论计算机等相关学科具有一定应用价值。