Pages that link to Atom canonicity in varieties of cylindrfic algebras with applications tg omitting types in multimodal logic