33 citations · 60 across the 4 of their papers we have counts for
1 paper · 1 filter
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…