TPTP World Infrastructure for Non-classical Logics