认知逻辑处理的是关于知识和信念等认知概念的逻辑性质和关系的问题，多主体的自认知逻辑系统，是在单主体唯一知道逻辑系统的基础上进行的扩充。现将单主体的K45系统扩充为多主体的K45n系统，并介绍了该系统的语法规则和稳定集以及典范模型的语义和证明理论，同时也对该系统的可靠性和完全性进行了证明。
西南大学学报：社会科学版
2009年5期
