无锡市图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

可能世界的名字/刘新文，祝瑞著

出版发行项:

北京:中国社会科学出版社,2017

ISBN及定价:

978-7-5161-9962-6 精装/CNY48.00

载体形态项:

162页;24cm

并列正题名:

Nominals of possible worlds

个人责任者:

刘新文 (1972-) 著

个人责任者:

祝瑞 (1988-) 著

学科主题:

逻辑学

中图法分类号:

B81

一般附注:

国家哲学社会科学成果文库 2016

相关题名附注:

封底英文题名：Nominals of possible worlds

提要文摘附注:

本书共分13章，内容包括：可能世界的名字、基本模态逻辑与时态逻辑、基本混合逻辑、混合时态逻辑、后承演算、自然推演系统、混合的核证逻辑等。

豆瓣简介：