|
000
|
01269nam 2200301 450
|
|
001
|
CAL 01010026046
|
|
005
|
20140101203812.82
|
|
010
|
|
@a978-7-03-034392-5@b简装@dCNY45.00
|
|
100
|
|
@a20120730d2012 em y0chiy50 ea
|
|
101
|
0
|
@achi
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@aa z 000yy
|
|
106
|
|
@ar
|
|
200
|
1
|
@a分次模态语言的模型论@Afen ci mo tai yu yan de mo xing lun@f马明辉著
|
|
205
|
|
@a第1版
|
|
210
|
|
@a北京@c科学出版社@d2012.07
|
|
215
|
|
@a194页@c图@d24cm
|
|
225
|
2
|
@a逻辑、博弈与认知研究丛书@Aluo ji、bo yi yu ren zhi yan jiu cong shu
|
|
300
|
|
@a教育部人文社会科学研究青年项目“模态安全性理论的句法研究” (项目批准号12YJC72040001) 早期研究成果 重庆市人文社会科学重点研究基地项目“模态模型论研究” (项目批准号10SKB30) 研究成果
|
|
320
|
|
@a有书目 (第179-183页)
|
|
330
|
|
@a本书给出了分次模态逻辑的余代数语义、研究余代数结构类在分次模态语言中的可定义性问题 ; 证明了几条可定义性定理, 使用余代数典范模型证明正规分次模态逻辑的安全性 ; 探讨了余代数语义下分次模态逻辑与弱二阶逻辑的对应理论。
|
|
410
|
0
|
@12001 @a逻辑、博弈与认知研究丛书
|
|
606
|
0
|
@a模态逻辑@Amo tai luo ji
|
|
606
|
0
|
@aDISPLAY逻辑
|
|
690
|
|
@aB81@v5
|
|
701
|
0
|
@a马明辉@Ama ming hui@4著
|
|
801
|
0
|
@aCN@b郑州旅游职业学院@c20131220
|
|
905
|
|
@aZZLYZY@dB81@e35@f5
|
|
|
|
|
| |
| 分次模态语言的模型论/马明辉著.-第1版.-北京：科学出版社，2012.07 |
| 194页：图；24cm.-(逻辑、博弈与认知研究丛书) |
| 教育部人文社会科学研究青年项目“模态安全性理论的句法研究” (项目批准号12YJC72040001) 早期研究成果 重庆市人文社会科学重点研究基地项目“模态模型论研究” (项目批准号10SKB30) 研究成果 |
| |
| ISBN 978-7-03-034392-5(简装)：CNY45.00 |
| 本书给出了分次模态逻辑的余代数语义、研究余代数结构类在分次模态语言中的可定义性问题 ; 证明了几条可定义性定理, 使用余代数典范模型证明正规分次模态逻辑的安全性 ; 探讨了余代数语义下分次模态逻辑与弱二阶逻辑的对应理论。 |
| ● |
正题名：分次模态语言的模型论
索取号：B81/35
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
0614061
|
206140610
|
十楼书库/10E13B0103/
[索取号:B81/35]
|
在馆
|
架位导航
|
|
2
|
0614062
|
206140629
|
十楼书库/10E13B0103/
[索取号:B81/35]
|
在馆
|
架位导航
|
|
3
|
0614063
|
206140638
|
十楼书库/10E13B0103/
[索取号:B81/35]
|
在馆
|
架位导航
|
|
4
|
0614064
|
206140647
|
十楼书库/10E13B0103/
[索取号:B81/35]
|
在馆
|
架位导航
|
|
5
|
0614065
|
206140656
|
十楼书库/10E13B0103/
[索取号:B81/35]
|
在馆
|
架位导航
|
