Hollenberg, M. (1995) “Safety for Bisimulation in General Modal Logic”, Proceedings of the Amsterdam Colloquium, pp. 359–376. Available at: https://platform.openjournals.nl/PAC/article/view/24645 (Accessed: 5 December 2025).