书目详细信息
： 分次模态语言的模型论
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-03-034392-5:CNY45.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 分次模态语言的模型论/.马明辉著 |
| 出版发行项： | 北京:,科学出版社:,2012.6 |
| 载体形态项： | 194页:;+24cm |
| 丛编项： | 逻辑、博弈与认知研究丛书 |
| 一般附注： | 教育部人文社会科学研究青年项目“模态完全性理论的句法研究”早期研究成果 重庆市人文社会科学重点研究基地项目“模态模型论研究”研究成果 |
| 提要文摘： | 本书给出了分次模态逻辑的余代数语义，研究余代数结构类在分次模态语言中的可定义性问题；探讨了余代数语义下分次模态逻辑与弱二阶逻辑的对应理论，以及分次模态公式的分类和几个扩张表达力的语言；此外，在关系语义学下，还给出了结构类的可定义性定理。 |
| 题名主题： | 模态逻辑 |
| 中图分类： | B815.1 |
| 个人名称等同： | 马明辉 (哲学) 著 |
| 记录来源： | 20170329 |