Kostrzycka, Z. On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames. B Sect Log 2015, 44 (3/4), 111–130. https://doi.org/10.18778/0138-0680.44.3.4.02.