分次模态语言的模型论

【书名】 分次模态语言的模型论
【作者】 马明辉
【出版社】 北京科学出版社
【出版时间】 2012.07
【关键词】 模态逻辑
【摘要描述】 本书给出了分次模态逻辑的余代数语义,研究余代数结构类在分次模态语言中的可定义性问题证明了几条可定义性定理,使用余代数典范模型证明正规分次模态逻辑模态逻辑的完全性探讨了余代数语义下分次模态逻辑与弱二阶逻辑的对应理论,以及分次模态公式的分类和几个扩张表达力的语言。
此外,在关系语义学下,本书还给出了结构类的可定义性定理。
【中国图书分类号】 B815.1

在线工具导航