模态逻辑

作者：（日）内田种臣著；何向东，瞿麦生译
出版社：重庆市：西南师范大学出版社
出版年份：1991
ISBN：7562103275
注意：在使用云解压之前，请认真核对实际PDF页数与内容!

在线云解压
价格(点数)
购买连接
说明

转为PDF格式
9
立即购买
（在线云解压服务）

云解压服务说明

1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。

云解压下载及付费说明

1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。

2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)

序论 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