B001543　模态逻辑引论

出处：按学科分类—综合性图书 湖北人民出版社《中国图书大辞典：1949-1992第1册马克思列宁主义、毛泽东思想,哲学》第343页（240字）

周礼全着。上海人民出版社1986年4月版。28．2万字。分11章。即“绪论”、“命题逻辑”、“狭谓词逻辑”、“模态命题演算T”、“模态命题演算S₄”、“模态命题演算S5”、“模态命题演算的其他判定方法”、“模态谓词演算QTB与QS₄B”、“模态谓词演算QT、QS₄与QS₅”、“模态逻辑的自然推导系统”、“模态逻辑简史”。阐述模态逻辑的基本理论，介绍模态逻辑的基本演算系统。书后“模态逻辑简史”对模态逻辑的发展历史作了概略介绍。