  We develop a method for showing that various modal logics that are valid in
their countably generated canonical Kripke frames must also be valid in their
uncountably generated ones. This is applied to many systems, including the
logics of finite width, and a broader class of multimodal logics of `finite
achronal width' that are introduced here.
