| 李小五，男，1955年1月生于浙江湖州。 1980-1984年在北京大学哲学系念哲学本科，1986-1989年在北京大学哲学系攻读逻辑学硕士学位，1989年获硕士学位。 1992年从国防大学调入中国社会科学院所逻辑研究室，2000年10月在中国社会科学院聘为研究员。2002年8月作为引进人才调入中山大学哲学系逻辑与认知研究所。 主要著作有《现代归纳逻辑与概率逻辑》、《无穷逻辑》（上、下卷）、《条件句逻辑》。还发表多篇论文、多部合著和一部译著。 现任中山大.. << 查看详细 |
| 现代逻辑学讲义：模态逻辑 第1章 公理化系统 1 公理化系统 协调性 和谐性 2 初等系统 3 基本系统 4 退化系统 5 其他一些重要的系统 第2章 强推演、一致性与极大一致性 1 强推演 2 s-一致性与极大性 第3章 关系语义与可靠性定理 1 关系语义 2 对应定理 3 可靠性定理 4 反模型方法 第4章 典范模型与完全性定理 1 完全性概念 2 典范模型及其基本定理 3 完全性定理 4 刻画定理 . 5 kg（mn）/（jk）的刻画定理 第5章 有穷模型性与可判定性 1 有穷模型性与穷框架性 2 过滤有穷模型性 3 极小典范模型与有穷模型性 4 有模型性与可判定性 5 没有有穷模型性的系统 第6章 邻域语义 1 领域语义 2 刻画定理 3 过滤与有穷模型性 4 与关系主义的关系 参考文献 后记 现代逻辑学讲义：数理逻辑 |
内容加载中，请稍后...
商品评论（0条）