TY - RPRT TI - Representation theorems in modal logic using algebraic logic AU - Tarek Sayed Ahmed PY - 2013 UR - https://arxiv.org/abs/1304.0958 ID - 1304.0958 ER -