A Context-Based Mechanization of Multi-Agent Reasoning