Pietruszczak A. On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1. B Sect Log [Internet]. 2017 Jun. 30 [cited 2024 May 4];46(1/2):111–133. Available from: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/2933