信阅平台

内容介绍

《分次模态语言的模型论》是国家社科基地西南大学逻辑与智能研究中心教育部重大课题攻关项目“现代归纳逻辑的创新功能与应用以及认知基础”（05JZD0008）的研究成果之一。本书把经典逻辑的这些结果推广到分次模态逻辑，所展现的主要技术性结论都是新成果。该书可能需要的对象：高等院校哲学系或数学系逻辑教学和研究单位，全国社会科学和自然科学研究机构中逻辑分支机构，全国高等院校和研究机构的图书馆。读者面向研究和学习模态逻辑的专家学者和研究生。

展开

总序
前言
导论
第1章　计数模态语言
第2章　分次模态语言的关系语义学
第3章　分次模态余代数
第4章　公理系统和完全性
第5章　余代数对应理论
第6章　有限模型性质
第7章　公式的分类
第8章　分次模态逻辑的扩张
参考文献
附录A　模型论与泛代数
附录B　基本模态逻辑
附录C　余代数理论
后记

展开