信念推理的模态逻辑| IEEE会议出版物| IEEE Xplore