Screen Library可能世界的名字
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 有书目和索引 本书共分十三章，主要内容包括：可能世界的名字；基本模态逻辑与时态逻辑；基本混合逻辑；一般安全性结果；混合时态逻辑；混合语言的扩充；可判定性、复杂性和内插性；证明方法简介等。 |