Finite-valued Lukasiewicz modal logic Is PSPACE-complete | Publicación