扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
心灵元气社
-
>
县中的孩子 中国县域教育生态
-
>
(精)人类的明天(八品)
-
>
厌女(增订本)
-
>
这样学习才高效/杨慧琴
-
>
心理学经典文丛:女性心理学
-
>
中国文化5000年
临界的传递逻辑-模态逻辑的濒表格性问题研究 版权信息
- ISBN:9787030530813
- 条形码:9787030530813 ; 978-7-03-053081-3
- 装帧:暂无
- 册数:暂无
- 重量:暂无
- 所属分类:>
临界的传递逻辑-模态逻辑的濒表格性问题研究 本书特色
图书回顾了传递的濒表格逻辑的研究发展历史,叙述了传递的濒表格逻辑判据的证明、应用过程,试图解决传递逻辑的濒表格性的判据问题和大格的子格NExtQ4中濒表格逻辑族的基数、分类及公理化问题。本书可供从事模态逻辑研究的工作者和对模态逻辑感兴趣的读者阅读。
临界的传递逻辑-模态逻辑的濒表格性问题研究 内容简介
图书回顾了传递的濒表格逻辑的研究发展历史,叙述了传递的濒表格逻辑判据的证明、应用过程,试图解决传递逻辑的濒表格性的判据问题和大格的子格NExtQ4中濒表格逻辑族的基数、分类及公理化问题。本书可供从事模态逻辑研究的工作者和对模态逻辑感兴趣的读者阅读。
临界的传递逻辑-模态逻辑的濒表格性问题研究 目录
**编 序篇
**章 背景知识一览 3
**节 逻辑K4及其正规扩充 3
第二节 K4-逻辑的克里普克语义学 8
第三节 临界的传递逻辑——K4-逻辑格中的濒表格逻辑 36
第二章 历史的回顾:1940~1980年 40
**节 孤例S5 40
第二节 走出孤例 46
第三节 NExtS4的简单性 52
第四节 传递逻辑格NExtK4还在向我们挑战 59
第二编 主篇
引言——我们的目的和方法 73
第三章 点式归约初探 76
**节 集式归约和点式归约 76
第二节 传递框架间的点式归约 79
第四章 传递逻辑格中有穷深度濒表格逻辑的语义判据 87
**节 传递的濒表格逻辑的刻画框架 87
第二节 Alt N-颠覆子、Alt N-反驳子和框架的濒表格性 92
第三节 有穷深度濒表格逻辑的语义判据 106
第五章 传递逻辑格中无穷深度濒表格逻辑的语义判据 122
**节 刻画无穷深度濒表格逻辑的有穷框架类的规范化 122
第二节 刻画无穷深度濒表格逻辑的三类框架——收拢式既约框架、*-风筝和*-风筝 133
第三节 无穷深度濒表格逻辑的语义判据 138
第六章 濒表格逻辑语义判据的应用 149
**节 麦金森分类法眼光下的模态逻辑Q4 149
第二节 濒表格逻辑的语义判据的应用——NExtQ4 153
第三节 NExtS4、NExtD4和NExtGL中濒表格逻辑的范形 161
第七章 从一种新观点看问题 165
**节 传递的濒表格逻辑和它们的表格扩充 165
第二节 传递的濒表格逻辑的语义特征 170
参考文献 187
附录A 论麦金森定理及其等价命题 192
附录B 模态镜子里的反欧性 202
附录C 一般框架和典范公式 217
索引 231
后记 238
展开全部
书友推荐
- >
上帝之肋:男人的真实旅程
上帝之肋:男人的真实旅程
¥19.3¥35.0 - >
自卑与超越
自卑与超越
¥29.5¥39.8 - >
中国历史的瞬间
中国历史的瞬间
¥18.2¥38.0 - >
伊索寓言-世界文学名著典藏-全译本
伊索寓言-世界文学名著典藏-全译本
¥6.1¥19.0 - >
我从未如此眷恋人间
我从未如此眷恋人间
¥16.4¥49.8 - >
推拿
推拿
¥12.2¥32.0 - >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥24.9¥58.0 - >
我与地坛
我与地坛
¥16.8¥28.0
本类畅销
-
社会学:原来这么有趣有用
¥12.8¥36 -
上大演讲录(1922-1927卷)(九品)
¥13.9¥52 -
苏联演变与民族问题研究
¥13.5¥48 -
疯狂与清醒
¥14.9¥59.8 -
小镇喧嚣-一个乡镇政治运作的演绎与阐释
¥26.8¥68 -
东方文化与人类发展前途:季羡林讲演集
¥14.6¥42