TY - RPRT TI - The Completeness Problem for Modal Logic AU - Antonis Achilleos PY - 2017 DO - 10.13140/rg.2.1.2373.6727 UR - https://arxiv.org/abs/1605.01004 ID - 1605.01004 ER -