← 返回

模态逻辑研究

著者董英东著
ISBN9787208195219
分类号B815.1 哲学、宗教
学科哲学
版次第1版
出版社上海人民出版社
丛书名—
出版年2025
价格¥168.00
页码576页
类型 📄 纸质书
核心评分9.1/10
读者对象—
主题词模态逻辑
内容简介：本书探讨了模态逻辑及其在当代逻辑学中的核心地位，特别是高阶模态逻辑的句法与语义结构，分析了其系统性发展以及完全性、可计算性和复杂性等理论。模态逻辑作为处理模态概念的形式系统，在分布式计算、智能行为等领域具有广泛应用，涵盖哲学、数学、计算机科学等多个领域。
登录后可荐购