Hollenberg, M. Safety for Bisimulation in General Modal Logic. Proceedings of the AC 1995, 359-376. https://doi.org/10.53437/t3tbj325.