认知逻辑导论

　　本书主要介绍有关知识，信念的形式化描述及其应用的逻辑理论，充分反映了国外在认知逻辑研究领域所取得的成果，不但介绍了较为成熟的知道逻辑，信念逻辑，断定逻辑，而且给出了认知非单调推理，认知缺省推理以及一些广义认知逻辑理论，最后还讨论了认知逻辑在通信协议，规划行动，多主体分布式系统以及认知哲学中的应用等问题。

暂缺《认知逻辑导论》作者简介

一，引论
二，模态逻辑基础
三，断定逻辑系统
四，知道逻辑系统
五，信念逻辑系统
六，广义认知逻辑
七，认知状态逻辑
八，认知缺省推理
九，应用