Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic

Tarek Sayed Ahmed. Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic. Journal of Applied Non-Classical Logics, 30(3):223-271, 2020. [doi]

Abstract

Abstract is missing.