Better Bounded Bisimulation Contractions (Preprint)

Thomas Bolander, Alessandro Burigana

Bisimulations are standard in modal logic and, more generally, in the theory of state-transition systems. The quotient structure of a Kripke model with respect to the bisimulation…