Research on Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-Agent Systems

Abstract

This paper extends the logic of Knowledge,Belief and Certainty(KBC) for one agent to that for multi-agent systems.It presents a Concurrent Dynamic logic of Knowledge,Belief and Certainty for MAS,which is called CDKBC logic,with a good combination between logic of KBC and action modalities that have concurrent and dynamic properties in multi-agent systems.Furthermore,a CDKBC model is given for interpreting this logic.The authors construct a CDKBC proof system for the logic and show the proof system is sound and complete,where the validity problem for the system will be proved to be EXPTIME-complete and give an application of the CDKBC logic.