Return to Article Details On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames Download Download PDF