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