On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames

Abstract

Halldén complete modal logics are defined semantically. They have a nice characterization as they are determined by homogeneous Kripke frames.