当前位置：模态逻辑pdf电子书下载 > 其他书籍
- 作 者：（日）内田种臣著；何向东，瞿麦生译
- 出 版 社：重庆市：西南师范大学出版社
- 出版年份：1991
- ISBN：7562103275
- 标注页数：243 页
- PDF页数：252 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源252 ≥243页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
序论 1
第一章 真理模态系统 44
代数性解释方法 54
可能世界语义学性解释 78
关于代数性解释和可能世界语义学性解释的关系 84
第二章 时间模态系统 100
极大时间结构＜KM，RM＞的构成方法 115
第三章 认识模态系统 121
极大认识模型结构＜KM，RM ？p，RM dox＞的构成方法 127
借助于列表的KB系统的形式化 132
第四章 规范模态系统 142
四种评价结构 168
条件性规范的公理系统 172
冯·乌里克托的行为理论 174
第五章 命令逻辑 180
第六章 蒙太古语法 189
后记 223
译后记 243