|
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]
|
在馆
|
|
