可能世界的名字
Saved in:
Main Authors: | ; |
---|---|
Published: |
中国社会科学出版社
|
Publisher Address: | 北京 |
Publication Dates: | 2017 |
Literature type: | Book |
Language: | Chinese |
Series: |
国家哲学社会科学成果文库. 2016 |
Subjects: | |
Carrier Form: | 162页: 彩照 ; 25cm |
ISBN: | 978-7-5161-9962-6 |
Index Number: | B81 |
CLC: | B81 |
Call Number: | B81/0400-2 |
Contents: |
封底英文题名:Nominals of possible worlds 有书目和索引 本书共分十三章,主要内容包括:可能世界的名字;基本模态逻辑与时态逻辑;基本混合逻辑;一般安全性结果;混合时态逻辑;混合语言的扩充;可判定性、复杂性和内插性;证明方法简介等。 |