Hollenberg, Marco. 1995. “Safety for Bisimulation in General Modal Logic”. Proceedings of the Amsterdam Colloquium, December, 359-76. https://platform.openjournals.nl/PAC/article/view/24645.