| 字词 | 模态逻辑引论 |
| 类别 | 中英文字词句释义及详细解析 |
| 释义 | 模态逻辑引论 118 模态逻辑引论第一本研究介绍模态逻辑的著作。当代周礼全著。上海人民出版社1986年出版。全书共11章，28万余字。从运用形式语言建立逻辑系统的基本概念入手，介绍了古典的一阶逻辑(命题演算、狭谓词演算)，模态命题演算T、S4和S5，加进量词的模态谓词演算QTB、QS4B、QT、QS4和QS5。还介绍了模态逻辑的自然推导系统。最后叙述了自亚里斯多德至本世纪60年代模态逻辑的发展简史。是学习研究模态逻辑的重要著作。 ☚ 数理逻辑教程 现代西方哲学逻辑 ☛ |
| 随便看 |
|
文网收录3541549条中英文词条，其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似，基本涵盖了全部常用中英文字词句的读音、释义及用法，是语言学习和写作的有利工具。