书目信息 |
| 题名： |
分次模态语言的模型论
|
|
| 作者： | 马明辉 著 | |
| 分册： | ||
| 出版信息： | 北京 科学出版社 2012.06 |
|
| 页数： | 194页 | |
| 开本： | 24cm | |
| 丛书名： | 逻辑、博弈与认知研究丛书 | |
| 单 册： | ||
| 中图分类： | B815.1 | |
| 科图分类： | ||
| 主题词： | 模态逻辑 | |
| 电子资源： | ||
| ISBN： | 978-7-03-034392-5 | |
| 000 | 01038nam0 2200241 450 | |
| 001 | 005928647 | |
| 010 | @a978-7-03-034392-5@dCNY45.00 | |
| 100 | @a20120301d2012 em y0chiy50 ea | |
| 101 | 0 | @achi |
| 102 | @aCN@b110000 | |
| 105 | @ay z 000yy | |
| 200 | 1 | @a分次模态语言的模型论@Afen ci mo tai yu yan de mo xing lun@f马明辉著 |
| 210 | @a北京@c科学出版社@d2012.06 | |
| 215 | @a194页@d24cm | |
| 225 | 1 | @a逻辑、博弈与认知研究丛书@f何向东主编 |
| 300 | @a教育部人文社会科学研究青年项目“模态完全性理论的句法研究”早期研究成果 重庆市人文社会科学重点研究基地项目“模态模型论研究”研究成果 | |
| 330 | @a本书给出了分次模态逻辑的余代数语义，研究余代数结构类在分次模态语言中的可定义性问题；探讨了余代数语义下分次模态逻辑与弱二阶逻辑的对应理论，以及分次模态公式的分类和几个扩张表达力的语言；此外，在关系语义学下，还给出了结构类的可定义性定理。 | |
| 410 | 0 | @12001 @a逻辑、博弈与认知研究丛书 |
| 606 | 0 | @a模态逻辑 |
| 690 | @aB815.1@v5 | |
| 701 | 0 | @a马明辉@Ama ming hui@c(哲学)@4著 |
| 801 | 0 | @aCN@c20121226 |
| 905 | @dB815.1@eM103@f1 | |
| 分次模态语言的模型论/马明辉著.-北京：科学出版社，2012.06 |
| 194页；24cm.-(逻辑、博弈与认知研究丛书/何向东主编) |
| 教育部人文社会科学研究青年项目“模态完全性理论的句法研究”早期研究成果 重庆市人文社会科学重点研究基地项目“模态模型论研究”研究成果 |
| ISBN 978-7-03-034392-5：CNY45.00 |
| 本书给出了分次模态逻辑的余代数语义，研究余代数结构类在分次模态语言中的可定义性问题；探讨了余代数语义下分次模态逻辑与弱二阶逻辑的对应理论，以及分次模态公式的分类和几个扩张表达力的语言；此外，在关系语义学下，还给出了结构类的可定义性定理。 |
| ● |
| 相关链接 |
|
|
|
正题名：分次模态语言的模型论
索取号：B815.1/M103
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 1215314 | 212153140 | 社科库509/509社科库 20排3列6层/ [索取号:B815.1/M103] | 在馆 |