TY - RPRT TI - Finite Axiomatizability of Transitive Logics of Finite Depth and of Finite Weak Width AU - Yan Zhang PY - 2023 UR - https://arxiv.org/abs/2304.09709 ID - 2304.09709 ER -