| 作 者： | 马明辉 |
| 出版社： | 科学出版社 |
| 丛编项： | |
| 版权说明： | 本书为公共版权或经版权方授权，请支持正版图书 |
| 标 签： | 逻辑学 |
| ISBN | 出版时间 | 包装 | 开本 | 页数 | 字数 |
|---|---|---|---|---|---|
| 未知 | 暂无 | 暂无 | 未知 | 0 | 暂无 |
总序
前言
导论
第1章 计数模态语言
第2章 分次模态语言的关系语义学
第3章 分次模态余代数
第4章 公理系统和完全性
第5章 余代数对应理论
第6章 有限模型性质
第7章 公式的分类
第8章 分次模态逻辑的扩张
参考文献
附录A 模型论与泛代数
附录B 基本模态逻辑
附录C 余代数理论
后记
