MARC状态：审校 文献类型：中文图书 浏览次数：70
- 题名/责任者:
- 分次模态语言的模型论/马明辉著
- 出版发行项:
- 北京:科学出版社,2012
- ISBN及定价:
- 978-7-03-034392-5/CNY45.00
- 载体形态项:
- 194页:图;24cm
- 丛编项:
- 逻辑、博弈与认知研究丛书
- 个人责任者:
- 马明辉 著
- 学科主题:
- 模态逻辑
- 中图法分类号:
- B815.1
- 一般附注:
- 教育部人文社会科学研究青年项目“模态安全性理论的句法研究” (项目批准号12YJC72040001) 早期研究成果 重庆市人文社会科学重点研究基地项目“模态模型论研究” (项目批准号10SKB30) 研究成果
- 书目附注:
- 有书目 (第179-183页)
- 提要文摘附注:
- 本书给出了分次模态逻辑的余代数语义、研究余代数结构类在分次模态语言中的可定义性问题 ; 证明了几条可定义性定理, 使用余代数典范模型证明正规分次模态逻辑的安全性 ; 探讨了余代数语义下分次模态逻辑与弱二阶逻辑的对应理论。
全部MARC细节信息>>
北书院一楼