Kostrzycka, Z. On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames. B Sect Log 2015, 44, 111–130.