Consistent Update Synthesis via Privatized Beliefs

Thomas Schlögl, Roman Kuznets, Giorgio Cignarale

Kripke models are an effective and widely used tool for representing epistemic attitudes of agents in multi-agent systems, including distributed systems. Dynamic Epistemic Logic (D…