书目信息 机读格式(MARC)
分次模态语言的模型论
| ISBN/价格： | 978-7-03-034392-5:CNY45.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 分次模态语言的模型论/.马明辉著 |
| 出版发行项： | 北京:,科学出版社:,2012.07 |
| 载体形态项： | 194页:;+24cm |
| 丛编项： | 逻辑、博弈与认知研究丛书 |
| 提要文摘： | 本书给出了分次模态逻辑的余代数语义，研究了余代数结构类在分次模态语言中的可定义性问题；证明了几条可定义性定理，使用余代数典范模型证明正规分次模态逻辑模态逻辑的完全性；探讨了余代数语义下分次模态逻辑与弱二阶逻辑的对应理论，以及分次模态公式的分类和几个扩张表达力的语言。此外，在关系语义学下，还给出了结构类的可定义性定理。 |
| 题名主题： | 模态逻辑 |
| 中图分类： | B815.1 |
| 个人名称等同： | 马明辉 著 |
| 记录来源： | CN 浙江省新华书店集团公司 20130314 |