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]

Possibly Related Publications

The following publications are possibly variants of this publication: