TY - RPRT TI - A note on noncompact logics AU - Vera Koponen PY - 2013 UR - https://arxiv.org/abs/1207.4067 ID - 1207.4067 ER -