Pietruszczak, Andrzej. “On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 2”. Bulletin of the Section of Logic 46, no. 3/4 (December 30, 2017): 197–218. Accessed May 2, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/3255.