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}.