书名: 正版]分次模态语言的模型论 马明辉 科学 9787030343925 定价: 45.00 元 (注: 实际售价可能因稀缺进价高而高于定价) 作者: 马明辉 出版社: 科学 出版时间: 2012年7月 第 1 版(注: 印刷时间与出版时间不一定相同) 条形码: 9787030343925 ISBN: 978-7-03-034392-5(注: 2007年前后的不同印次ISBN可能会有差别) 开本: 16开 装帧: 平装分次模态逻辑是有限基数的模态逻辑。 本书给出了分次模态逻辑的余代数语义。研究余代数结构类在分次模态语言中的可定义性问题；证明了几条可定义性定理。使用余代数典范模型证明正规分次模态逻辑模态逻辑的完全性；探讨了余代数语义下分次模态逻辑与弱二阶逻辑的对应理论，以及分次模态公式的分类和几个扩张表达力的语言。此外。在关系语义学下。 本书还给出了结构类的可定义性定理。 本书适合现代逻辑专业、数学专业以及计算机领域的研究人员和高校师生参考阅读。等待更新中...