图书介绍
模态逻辑pdf电子书版本下载
- （日）内田种臣著；何向东，瞿麦生译 著
- 出版社： 重庆市：西南师范大学出版社
- ISBN：7562103275
- 出版时间：1991
- 标注页数：243页
- 文件大小：7MB
- 文件页数：252页
- 主题词：模态(学科: 逻辑) 逻辑(学科: 模态)
PDF下载
点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]
温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页
直链下载[便捷但速度慢]
[在线试读本书]
[在线获取解压码]
下载说明
模态逻辑PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
序论 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