| 商家名称 | 信用等级 | 购买信息 | 订购本书 |
 |
 |
逻辑、语言与认知研究丛书:分次模态语言的模型论 |  |
 |
|
逻辑、语言与认知研究丛书:分次模态语言的模型论 | |
出版日期: 2012年7月1日
《分次模态语言的模型论》内容简介：分次模态逻辑是有限基数的模态逻辑。 分次模态语言的模型论给出了分次模态逻辑的余代数语义，研究余代数结构类在分次模态语言中的可定义性问题；证明了几条可定义性定理，使用余代数典范模型证明正规分次模态逻辑模态逻辑的完全性；探讨了余代数语义下分次模态逻辑与弱二阶逻辑的对应理论，以及分次模态公式的分类和几个扩张表达力的语言。此外，在关系语义学下，分次模态语言的模型论还给出了结构类的可定义性定理。
《分次模态语言的模型论》适合现代逻辑专业、数学专业以及计算机领域的研究人员和高校师生参考阅读。
喜欢逻辑、语言与认知研究丛书:分次模态语言的模型论请与您的朋友分享,由于版权原因，读书人网不提供图书下载服务
