A meta-modal logic for bisimulations

Alfredo Burrieza, Fernando Soler-Toscano, Antonio Yuste-Ginel

We propose a modal study of the notion of bisimulation. Our contribution is threefold. First, we extend the basic modal language with a new modality $\nbi$, whose intended meaning…