TY - RPRT TI - Atom-canonicity, relativized representations and omitting types for clique guarded semantics and guarded logics AU - Tarek Sayed Ahmed PY - 2013 UR - https://arxiv.org/abs/1308.6165 ID - 1308.6165 ER -