混合空间逻辑

书籍简介:

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

书籍规格:

书籍信息归属:

混合空间逻辑是浙江大学出版社于2016.9出版的中图分类号为 B81 的主题关于 逻辑学－研究 的书籍。