Hollenberg M. Safety for Bisimulation in General Modal Logic. Proceedings of the AC [Internet]. 1995 Dec. 1 [cited 2026 Jan. 31];:359-76. Available from: https://platform.openjournals.nl/PAC/article/view/24645