ISBN/价格: | 978-7-5161-9962-6:CNY48.00 |
---|---|
作品语种: | chi |
出版国别: | CN 110000 |
题名责任者项: | 可能世界的名字/.刘新文,祝瑞著 |
出版发行项: | 北京:,中国社会科学出版社:,2017 |
载体形态项: | 162页:;+24cm |
丛编项: | 国家哲学社会科学成果文库 |
相关题名附注: | 封底英文题名:Nominals of possible worlds |
提要文摘: | 本书共分十三章,主要内容包括:可能世界的名字;基本模态逻辑与时态逻辑;基本混合逻辑;一般安全性结果;混合时态逻辑;混合语言的扩充;可判定性、复杂性和内插性;证明方法简介等。 |
题名主题: | 逻辑学 |
中图分类: | B81 |
个人名称等同: | 刘新文 著 |
个人名称等同: | 祝瑞 著 |
记录来源: | CN TSG 20180308 |