Differentiable Modal Logic for Multi-Agent Diagnosis, Orchestration and Communication
Paper • Feb 12, 2026 • arXiv • Antonin Sulc
As multi-agent systems evolve into autonomous swarms, debugging failures requires reasoning about knowledge, belief, and obligation. We present Differentiable Modal Logic (DML), implemented via Mod...