作者：马明辉著
页数：204
出版社：科学出版社
出版日期：2012
ISBN：9787030343925
电子书格式：pdf/epub/txt
内容简介
本著作是国家社科基地西南大学逻辑与智能研究中心教育部重大课题攻关项目“现代归纳逻辑的创新功能与应用以及认知基础”（05JZD0008）的研究成果之一。本书把经典逻辑的这些结果推广到分次模态逻辑，所展现的主要技术性结论都是新成果。该书可能需要的对象：高等院校哲学系或数学系逻辑教学和研究单位，全国社会科学和自然科学研究机构中逻辑分支机构，全国高等院校和研究机构的图书馆。读者面向研究和学习模态逻辑的专家学者和研究生。
本书特色
近年来，余代数理论的发展为研究分次模态逻辑提供了相当有力的工具(参见《模态逻辑手册》中由魏讷玛(Yde Venema)撰写的综述性文章)。可以定义一种特殊的余代数为语义结构，解释分次模态算子。这使得关于分次模态逻辑的完全性、可定义性以及代数语义等方面的技术性研究变得可行了。本书即是在这种背景下完成的。从余代数的角度看，分次模态逻辑是一种非常典型的余代数模态逻辑。《分次模态语言的模型论》由马明辉著，本书的目标之一，就是以分次模态余代数为语义结构，研究分次模态逻辑的一些逻辑性质，包括可定义性、完全性、有穷余代数模型性质等。
目录
总序前言导论第1章 计数模态语言 1.1 模态逻辑的语义视角 1.2 计数模态语言 1.3 构造模型和框架的基本方法 1.4 分次模态逻辑第2章 分次模态语言的关系语义学 2.1 模型和框架构造 2.2 分次超滤扩张与饱和 2.3 模型和框架可定义性 2.4 范本特姆一罗森刻画定理 2.5 GMl和FOl(C)之间的框架对应第3章 分次模态余代数 3.1 分次模态语言的余代数语义 3.2 分次模态代数 3.3 分次模态代数与余代数之间的对偶 3.4 有限余代数和余代数模型的
