Kostrzycka Z. On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames. B Sect Log [Internet]. 2015 Jan. 1 [cited 2025 Dec. 8];44(3/4):111–130. Available from: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/16228