A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems.

Lijun Wu Jinshu Su Xiangyu Luo Zhihua Yang Qingliang Chen A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems. 146-157 2009 Canadian Conference on AI http://dx.doi.org/10.1007/978-3-642-01818-3_16 conf/ai/2009 db/conf/ai/ai2009.html#WuSLYC09