A logical framework for knowledge sharing in multi-agent systems

The issue of knowledge sharing has been an important topic in multi-agent research. Knowledge sharing leads to that agents analyze, judge and synthesize the told information so as to make agents' own knowledge. To match these applications, this paper builds a logical framework for knowledge sharing among agents. We develop a multi-modal logic for reasoning about both agents' knowledge and told information. For formalizing the relationship between knowledge and told information, we present a framework of semantics, with respect to which a sound and complete proof theory is given.