A Logic with Reverse Modalities for History-preserving Bisimulations

Iain Phillips, Irek Ulidowski

We introduce event identifier logic (EIL) which extends Hennessy-Milner logic by the addition of (1) reverse as well as forward modalities, and (2) identifiers to keep track of eve…