no code implementations • 20 Jan 2020 • Bastien Maubert, Aniello Murano, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri
Dynamic Epistemic Logic (DEL) is a logical framework in which one can describe in great detail how actions are perceived by the agents, and how they affect the world.
no code implementations • 16 Feb 2012 • Laura Bozzelli, Hans van Ditmarsch, Tim French, James Hales, Sophie Pinchinat
In this paper we present {\em refinement modal logic}.
