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

Lijun Wu, Jinshu Su, Xiangyu Luo, Zhihua Yang, Qingliang Chen

Browse the full AI paper archive.