Logic-Induced Bisimulations

Jim de Groot, Helle Hvid Hansen, Alexander Kurz

We define a new logic-induced notion of bisimulation (called $\rho$-bisimulation) for coalgebraic modal logics given by a logical connection, and investigate its properties. We show t…