机读格式显示(MARC)

• 000 01256nam 2200301 450

• 001 0000449855

• 005 20121018150800.0

• 010 __ |a 978-7-03-034392-5 |d CNY45.00

• 099 __ |a CAL 012012224657

• 100 __ |a 20120730d2012 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a a 000yy

• 106 __ |a r

• 200 1_ |a 分次模态语言的模型论 |A fen ci mo tai yu yan de mo xing lun |f 马明辉著

• 210 __ |a 北京 |c 科学出版社 |d 2012

• 215 __ |a 194页 |c 图 |d 24cm

• 225 2_ |a 逻辑、博弈与认知研究丛书 |A luo ji、bo yi yu ren zhi yan jiu cong shu

• 300 __ |a 教育部人文社会科学研究青年项目“模态安全性理论的句法研究” (项目批准号12YJC72040001) 早期研究成果 重庆市人文社会科学重点研究基地项目“模态模型论研究” (项目批准号10SKB30) 研究成果

• 320 __ |a 有书目 (第179-183页)

• 330 __ |a 本书给出了分次模态逻辑的余代数语义、研究余代数结构类在分次模态语言中的可定义性问题 ; 证明了几条可定义性定理, 使用余代数典范模型证明正规分次模态逻辑的安全性 ; 探讨了余代数语义下分次模态逻辑与弱二阶逻辑的对应理论。

• 410 _0 |1 2001 |a 逻辑、博弈与认知研究丛书

• 606 0_ |a 模态逻辑 |A mo tai luo ji

• 690 __ |a B815.1 |v 5

• 701 _0 |a 马明辉 |A ma ming hui |4 著

• 801 _0 |a CN |b RENTIAN |c 20120730

• 905 __ |a SCNU |f B815.1/1769

• 920 __ |a 242430 |z 1