Pietruszczak, Andrzej. 2017. “On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 2”. Bulletin of the Section of Logic 46 (3/4):197–218. https://doi.org/10.18778/0138-0680.46.3.4.03.