Canonicity in power and modal logics of finite achronal width

Robert Goldblatt, Ian Hodkinson

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…