书籍简介:

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

书籍目录:

总序

前言

导论

第1章　计数模态语言

第2章　分次模态语言的关系语义学

第3章　分次模态余代数

第4章　公理系统和完全性

第5章　余代数对应理论

第6章　有限模型性质

第7章　公式的分类

第8章　分次模态逻辑的扩张

参考文献

附录A　模型论与泛代数

附录B　基本模态逻辑

附录C　余代数理论

后记

内容摘要:

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

书籍规格:

书籍详细信息
书名	分次模态语言的模型论站内查询相似图书
丛书名	逻辑、博弈与认知研究丛书
	9787030343925 如需购买下载《分次模态语言的模型论》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	北京	出版单位	科学出版社
版次	1版	印次	1
定价(元)	45.0	语种	简体中文
尺寸	24 × 17	装帧	平装
页数	230	印数

全网搜索试读资源

书籍信息归属:

分次模态语言的模型论是科学出版社于2012.6出版的中图分类号为 B815.1 的主题关于模态逻辑的书籍。