TY - RPRT TI - The Finite Model Property of Some Non-normal Modal Logics with the Transitivity Axiom AU - Kirill Kopnev PY - 2023 UR - https://arxiv.org/abs/2305.08605 ID - 2305.08605 ER -