模态逻辑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
相关图书
- 《程序逻辑及C语言编程》卢卫中,杨丽芳主编 2019
- 《庆祝新中国成立70周年当代中国发展的逻辑系列丛书 当代中国生态发展的逻辑》熊捷责编;包存宽 2020
- 《弗雷格逻辑主义研究》刘靖贤著 2019
- 《卡塞尔不欢迎逻辑》(西)恩里克·比拉-马塔斯著;施杰李,雪菲译 2019
- 《哲学教授送给孩子们的逻辑思考课》冀剑制 2019
- 《逻辑与计算机科学哲学》潘沁著 2019
- 《哈佛逻辑课》(中国)穆臣刚 2019
- 《新时代背景下碳泄漏的法律规制 理论逻辑与实现路径》姜明 2019
- 《确证难题的逻辑研究》顿新国著;张建军主编 2019
- 《普京 权力的逻辑》(德国)胡贝特·塞佩尔 2019
作者其它书籍
出版社其它书籍
- 《大学计算机实验指导及习题解答》曹成志,宋长龙 2019
- 《大学生心理健康与人生发展》王琳责任编辑;(中国)肖宇 2019
- 《大学英语四级考试全真试题 标准模拟 四级》汪开虎主编 2012
- 《大学英语教学的跨文化交际视角研究与创新发展》许丽云,刘枫,尚利明著 2020
- 《复旦大学新闻学院教授学术丛书 新闻实务随想录》刘海贵 2019
- 《大学英语综合教程 1》王佃春,骆敏主编 2015
- 《重庆市绿色建筑评价技术指南》重庆大学,重庆市建筑节能协会绿色建筑专业委员会主编 2018
- 《大学物理简明教程 下 第2版》施卫主编 2020
- 《大学化学实验》李爱勤,侯学会主编 2016
- 《中国十大出版家》王震,贺越明著 1991