A. Pietruszczak, “On Theses without Iterated Modalities of Modal Logics Between C1 and S5. Part 2”, B Sect Log, vol. 46, no. 3/4, pp. 197–218, Dec. 2017.