现代逻辑学讲义模态逻辑

【书名】 现代逻辑学讲义模态逻辑
【作者】 李小五编
【出版社】 广州中山大学出版社
【出版时间】 2005.09
【关键词】 逻辑学科高等学校模态逻辑学科高等学校逻辑模态逻辑
【摘要描述】 本书分为公理化系统、强推演、一致性与极大一致性、关系语义与可靠性定理、典范模型与完全性定理等四章,介绍了句子层次上命题型的模态逻辑最基本的内容。
【中国图书分类号】 B81;B815.1

在线工具导航