随着计算机网络、计算机通信等技术的发展，对于Agent和多Agent系统的研究已成为分布式人工智能(DAI)一个热点和重要的研究领域。 本文提出了一种对多Agent系统的信息特征进行推理的形式化体系-VSK-AF逻辑。VSK-AF逻辑是对处在特定环境中的计算Agents的信息特征进行推理的多模态逻辑。它可以表示环境中客观真的的事物、环境中可访问的或可知的信息以及Agent能感知到的环境信息，最后还可表示Agent真正知道的信息。该逻辑的语义是以一般的多Agent系统模型给出的，并且与认知逻辑的解释系统密切相关。在提出了VSK-AF逻辑并且建立了它与多Agent系统的形式化模型间的关系后，给出了该逻辑的公理化体系，并对其合理性进行了充分的阐述。同时证明了这个公理体系的一致性、无矛盾性、完全性以及完备性。最后，通过具体案例分析来说明此逻辑的用途，并讨论了今后的一些研究工作。