书籍 模态逻辑的封面

模态逻辑PDF电子书下载

(日)内田种臣著 何向东 瞿麦生译

购买点数

10

出版社

重庆市:西南师范大学出版社

出版时间

1991

ISBN

7562103275

标注页数

243 页

PDF页数

252 页

书籍介绍
译自:样相の论理.--1978:本书通俗、系统地介绍了真理、认识、时间、规范、命令等几种模态系统的逻辑方法和概念。

查看更多关于的内容

图书目录

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

查看更多关于的内容

在线购买PDF电子书
下载此书RAR压缩包