TY - RPRT TI - Homotopies in Classical and Paraconsistent Modal Logics AU - Can Baskent PY - 2011 UR - https://arxiv.org/abs/1107.4932 ID - 1107.4932 ER -