临界的传递逻辑
全新正版 假一赔十 可开发票
￥ 52.87 6.8折 ￥ 78 全新
库存4件
北京东城
认证卖家担保交易快速发货售后保障
作者杜珊珊,康宏逵 著
出版社科学出版社
ISBN9787030530813
出版时间2017-07
装帧平装
开本16开
定价78元
货号1201563218
上书时间2024-09-04
商品详情
- 品相描述：全新
- 商品描述
-
目录
第一编序篇
第一章背景知识一览
第一节逻辑K4及其正规扩充
第二节K4—逻辑的克里普克语义学
第三节临界的传递逻辑——K4—逻辑格中的濒表格逻辑
第二章历史的回顾：1940～1980年
第一节孤例S5
第二节走出孤例
第三节NExtS4的简单性
第四节传递逻辑格NExtK4还在向我们挑战
第二编主篇
引言——我们的目的和方法
第三章点式归约初探
第一节集式归约和点式归约
第二节传递框架间的点式归约
第四章传递逻辑格中有穷深度濒表格逻辑的语义判据
第一节传递的濒表格逻辑的刻画框架
第二节AltN—颠覆子、AltN—反驳子和框架的濒表格性
第三节有穷深度濒表格逻辑的语义判据
第五章传递逻辑格中无穷深度濒表格逻辑的语义判据
第一节刻画无穷深度濒表格逻辑的有穷框架类的规范化
第二节刻画无穷深度濒表格逻辑的三类框架——收拢式既约框架、f°ω—风筝和fω—风筝
第三节无穷深度濒表格逻辑的语义判据
第六章濒表格逻辑语义判据的应用
第一节麦金森分类法眼光下的模态逻辑
第二节濒表格逻辑的语义判据的应用——NExtO4
第三节NExtS4、NExtD4和NExtGL中濒表格逻辑的范形
第七章从一种新观点看问题
第一节传递的濒表格逻辑和它们的表格扩充
第二节传递的濒表格逻辑的语义特征
参考文献
附录A论麦金森定理及其等价命题
附录B模态镜子里的反欧性
附录C一般框架和典范公式
索引
后记
内容摘要
《临界的传递逻辑——模态逻辑的濒表格性问题探究》详述传递的濒表格逻辑的判据及其应用，以及在此基础上所做的关于濒表格逻辑的若干研究结果，解决了传递逻辑格的濒表格性的语义判据，以及传递逻辑格的子格NExtQ4中濒表格逻辑族的基数、分类及公理化问题，展示了如何将已有的传递的濒表格逻辑的结果纳入《临界的传递逻辑——模态逻辑的濒表格性问题探究》提出的方法和视野。《临界的传递逻辑——模态逻辑的濒表格性问题探究》共分为三个部分——序篇、主篇和附录。序篇介绍了背景知识，回顾了传递的濒表格逻辑的研究发展史；主篇完整叙述了传递的濒表格逻辑的语义判据的证明、应用过程及其他相关的研究结果；附录给读者提供了备查的相关知识。
— 没有更多了 —
以下为对购买帮助不大的评价