全部商品分类
| 联系编辑 | |
|---|---|
| 标题： | |
| 内容： | |
| 联系方式： | |
分次模态逻辑是有限基数的模态逻辑。 本书给出了分次模态逻辑的余代数语义，研究余代数结构类在分次模态语言中的可定义性问题；证明了几条可定义性定理，使用余代数典范模型证明正规分次模态逻辑模态逻辑的完全性；探讨了余代数语义下分次模态逻辑与弱二阶逻辑的对应理论，以及分次模态公式的分类和几个扩张表达力的语言。此外，在关系语义学下，本书还给出了结构类的可定义性定理。 本书适合现代逻辑专业、数学专业以及计算机领域的研究人员和高校师生参考阅读。
样章试读
- 暂时还没有任何用户评论
全部咨询(共0条问答)
- 暂时还没有任何用户咨询内容
|
中国科技出版传媒股份有限公司 版权所有 京ICP备14028887号-5 京ICP证150976号
北京东黄城根北街16号 邮编：100717 Email:webmaster@mail.sciencep.com |
京公网安备 11010102004214号