TY - RPRT TI - A Characterization of Non-Iterative Normal Modal Logics AU - Adrian Soncodi PY - 2021 UR - https://arxiv.org/abs/2103.13918 ID - 2103.13918 ER -