Multi -agent VSK-AF Logic
Yu Sun · Jisuanji gongcheng · 2004
A formalism for reasoning about multi-agent system is presented. Its relationship to the formal model of multi-agent system is established, the axiomatisation and interaction axioms of VSK-AF logic are put forward. The consistency, soundness and completeness of this axiomatisation are proved. Issues for future work are discussed.