关于我们
书单推荐
新书推荐
|
正规多模态逻辑研究 读者对象:适合逻辑学专业、哲学专业、数学专业,以及计算机领域的研究人员参考阅读。
模态逻辑是现代逻辑研究的重要领域,多模态逻辑则是模态逻辑研究的前沿领域。多模态逻辑是包含两种或两种以上模态算子的模态逻辑系统,且算子之间不可规约,它是模态逻辑的重要组成部分。本书以模态交互作用公理为视角,构建了多模态逻辑一般系统,为形式化研究各种类型的模态提供了一般的逻辑框架;证明了多模态逻辑一般系统的完全性、对应性、可判定性等元逻辑问题的一般性结论;揭示了多模态逻辑的哲学背景及其解题功能,论述了多模态逻辑在哲学中的应用价值。
更多科学出版社服务,请扫码获取。
你还可能感兴趣
我要评论
|