扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
心理学经典文丛:女性心理学
-
>
贫困一代:被社会囚禁的年轻人
-
>
乌合之众:大众心理研究(英汉双语修订版)(套装共2册)
-
>
始于极限:女性主义往复书简
-
>
融合文化(新媒体和旧媒体的冲突地带)/文化和传播译丛
-
>
看不见的女性
-
>
县乡中国:县域治理现代化
临界的传递逻辑-模态逻辑的濒表格性问题研究 版权信息
- 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
展开全部
书友推荐
- >
烟与镜
烟与镜
¥18.2¥48.0 - >
中国人在乌苏里边疆区:历史与人类学概述
中国人在乌苏里边疆区:历史与人类学概述
¥40.8¥48.0 - >
伊索寓言-世界文学名著典藏-全译本
伊索寓言-世界文学名著典藏-全译本
¥6.1¥19.0 - >
姑妈的宝刀
姑妈的宝刀
¥11.4¥30.0 - >
人文阅读与收藏·良友文学丛书:一天的工作
人文阅读与收藏·良友文学丛书:一天的工作
¥27.3¥45.8 - >
龙榆生:词曲概论/大家小书
龙榆生:词曲概论/大家小书
¥9.1¥24.0 - >
回忆爱玛侬
回忆爱玛侬
¥10.5¥32.8 - >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥40.6¥58.0
本类畅销
-
社会学:原来这么有趣有用
¥18.4¥36 -
习坎庸言校正
¥9.1¥24 -
越过山丘.与命运和解-新周刊2018年度佳作
¥23.9¥57 -
自私的基因-40周年增订版
¥68.6¥98 -
简.奥斯汀的休闲人生
¥32¥68 -
如何不在网上虚度人生
¥19.9¥39.8