《模态逻辑》PDF下载

  • 购买积分:10 如何计算积分?
  • 作  者:(日)内田种臣著;何向东,瞿麦生译
  • 出 版 社:重庆市:西南师范大学出版社
  • 出版年份:1991
  • ISBN:7562103275
  • 页数:243 页
图书介绍:译自:样相の论理.--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