《模态逻辑》求取 ⇩

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

1991《模态逻辑》由于是年代较久的资料都绝版了,几乎不可能购买到实物。如果大家为了学习确实需要,可向博主求助其电子版PDF文件(由(日)内田种臣著;何向东,瞿麦生译 1991 重庆市:西南师范大学出版社 出版的版本) 。对合法合规的求助,我会当即受理并将下载地址发送给你。

高度相关资料

逻辑(1983 PDF版)
逻辑
1983 上海:上海教育出版社
模糊集合语言变量及模糊逻辑(1982年05月第1版 PDF版)
模糊集合语言变量及模糊逻辑
1982年05月第1版
逻辑(1950年12月第1版 PDF版)
逻辑
1950年12月第1版
固态控制系统  1  固态逻辑控制(1984 PDF版)
固态控制系统 1 固态逻辑控制
1984
逻辑( PDF版)
逻辑
三民印书局
逻辑与逻辑学( PDF版)
逻辑与逻辑学
生活书店
逻辑(1986 PDF版)
逻辑
1986 北京:中国青年出版社
民主与专政(1987 PDF版)
民主与专政
1987 北京:法律出版社
广义模态逻辑(1990 PDF版)
广义模态逻辑
1990 上海:华东师范大学出版社
广义模态逻辑(1993 PDF版)
广义模态逻辑
1993 北京:中国社会科学出版社
模态逻辑导论(1997 PDF版)
模态逻辑导论
1997 北京:北京大学出版社
逻辑(1985 PDF版)
逻辑
1985 北京:北京大学出版社
逻辑(1983 PDF版)
逻辑
1983 昆明:云南人民出版社
模糊集合、语言变量及模糊逻辑(1982 PDF版)
模糊集合、语言变量及模糊逻辑
1982 北京:科学出版社
模态逻辑引论(1986 PDF版)
模态逻辑引论
1986 上海:上海人民出版社