关于我们
书单推荐
新书推荐

正规多模态逻辑研究

正规多模态逻辑研究

定  价:98 元

        

  • 作者:赵贤
  • 出版时间:2024/5/1
  • ISBN:9787030782397
  • 出 版 社:科学出版社
  • 中图法分类:B815.1 
  • 页码:206
  • 纸张:
  • 版次:1
  • 开本:B5
9
7
7
8
8
7
2
0
3
3
9
0
7

读者对象:适合逻辑学专业、哲学专业、数学专业,以及计算机领域的研究人员参考阅读。

模态逻辑是现代逻辑研究的重要领域,多模态逻辑则是模态逻辑研究的前沿领域。多模态逻辑是包含两种或两种以上模态算子的模态逻辑系统,且算子之间不可规约,它是模态逻辑的重要组成部分。本书以模态交互作用公理为视角,构建了多模态逻辑一般系统,为形式化研究各种类型的模态提供了一般的逻辑框架;证明了多模态逻辑一般系统的完全性、对应性、可判定性等元逻辑问题的一般性结论;揭示了多模态逻辑的哲学背景及其解题功能,论述了多模态逻辑在哲学中的应用价值。

更多科学出版社服务,请扫码获取。
 你还可能感兴趣
 我要评论
您的姓名   验证码: 图片看不清?点击重新得到验证码
留言内容