可能世界的名字

【书名】 可能世界的名字
【作者】 刘新文,祝瑞
【出版社】 北京中国社会科学出版社
【出版时间】 2017.03
【关键词】 逻辑学
【摘要描述】 本书共分为十三章主要内容包括可能世界的名字、基本模态逻辑与时态逻辑、基本混合逻辑、一般完全性结果、混合时态逻辑、混合语言的扩充、证明方法简介、后承演算、自然推演系统等。
【中国图书分类号】 B81

在线工具导航