B001543 模态逻辑引论
出处:按学科分类—综合性图书 湖北人民出版社《中国图书大辞典:1949-1992第1册马克思列宁主义、毛泽东思想,哲学》第343页(240字)
周礼全着。上海人民出版社1986年4月版。28.2万字。分11章。即“绪论”、“命题逻辑”、“狭谓词逻辑”、“模态命题演算T”、“模态命题演算S4”、“模态命题演算S5”、“模态命题演算的其他判定方法”、“模态谓词演算QTB与QS4B”、“模态谓词演算QT、QS4与QS5”、“模态逻辑的自然推导系统”、“模态逻辑简史”。阐述模态逻辑的基本理论,介绍模态逻辑的基本演算系统。书后“模态逻辑简史”对模态逻辑的发展历史作了概略介绍。
上一篇:B001542 归纳逻辑导引
下一篇:B001544 从逻辑的观点看