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