|
题名:
|
可能世界的名字 ke neng shi jie de ming zi / 刘新文,祝瑞著 , |
|
ISBN:
|
978-7-5161-9962-6 价格： CNY48.00 |
|
语种:
|
chi |
|
载体形态:
|
162页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 中国社会科学出版社 出版日期： 2017 |
|
内容提要:
|
本书共分十三章,主要内容包括:可能世界的名字;基本模态逻辑与时态逻辑;基本混合逻辑;一般安全性结果;混合时态逻辑;混合语言的扩充;可判定性、复杂性和内插性;证明方法简介等。 |
|
主题词:
|
逻辑学 |
|
中图分类法:
|
B81 版次： 5 |
|
主要责任者:
|
刘新文 liu xin wen 著 |
|
主要责任者:
|
祝瑞 zhu rui 著 |
|
责任者附注:
|
刘新文 (1972-),男,江西莲花人。研究方向:现代逻辑。主持多项部级或国家级社会科学研究项目;出版《图式逻辑》《谢弗函数研究》等学术专著。 |
|
责任者附注:
|
祝瑞 (1988-),男,陕西石泉人。研究方向:现代逻辑。现为新西兰奥克兰大学哲学系逻辑学专业博士研究生。合作发表学术论文两篇。 |
|
索书号:
|
B81/2 |