EPISTEMIC LOGIC (2):MULTI-AGENT EPISTEMIC LOGIC MEL
Rui Liu · Chinese Journal of Computers · 1998
Epistemic logic EL, which has favorable axiom system and semantics, offers a logical framework for knowledge and belief, but it is based on a single-a-gent case, namely it can only represent an agent's knowledge and belief. This paper extends EL to MEL, which is the multi-agent version of EL. It is proved that MEL is sound and complete, and that MEL preserves all properties of EL. Moreover, in MEL the knowledge of an agent can be shared with others. MEL can be applied to the distributed multi-agent systems as the logical basis.