Z. Kostrzycka, “On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames”, B Sect Log, vol. 44, no. 3/4, pp. 111–130, Jan. 2015.