89 citations · 286 across the 44 of their papers we have counts for
1 paper · 2 filters
Laura Bozzelli, Hans van Ditmarsch, Tim French +2
In this paper we present {\em refinement modal logic}. A refinement is like a bisimulation, except that from the three relational requirements only `atoms' and `back' need to be sa…