TY - RPRT TI - Coherence in Modal Logic AU - Tomasz Kowalski AU - George Metcalfe PY - 2019 UR - https://arxiv.org/abs/1902.02540 ID - 1902.02540 ER -