TY - RPRT TI - Atom-canonicity in algebraic logic in connection to omitting types in modal fragments of L_{ω, ω} AU - Tarek Sayed Ahmed PY - 2016 UR - https://arxiv.org/abs/1608.03513 ID - 1608.03513 ER -