ArticleOriginal scientific text
Title
On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames
Authors
Abstract
Halldén complete modal logics are defined semantically. They have a nice characterization as they are determined by homogeneous Kripke frames.