|
题名:
|
分次模态语言的模型论 / 马明辉著 , |
|
ISBN:
|
978-7-03-034392-5 价格： CNY45.00 |
|
语种:
|
chi |
|
载体形态:
|
194页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2012 |
|
内容提要:
|
本书给出了分次模态逻辑的余代数语义，研究余代数结构类在分次模态语言中的可定义性问题；探讨了余代数语义下分次模态逻辑与弱二阶逻辑的对应理论，以及分次模态公式的分类和几个扩张表达力的语言；此外，在关系语义学下，还给出了结构类的可定义性定理。 |
|
主题词:
|
模态逻辑 |
|
中图分类法:
|
B815.1 版次： 5 |
|
主要责任者:
|
马明辉 著 |
|
附注:
|
教育部人文社会科学研究青年项目“模态完全性理论的句法研究”早期研究成果 重庆市人文社会科学重点研究基地项目“模态模型论研究”研究成果 |