Revisiting four-valued logics from Maple using the Logics Explorer package | Publicación