TY - RPRT TI - The Finite Model Property of Quasi-transitive Modal Logic AU - Zhe Lin AU - Minghui Ma PY - 2019 UR - https://arxiv.org/abs/1802.09240 ID - 1802.09240 ER -