Una expansión implicativa de la matriz tetravaluada de Belnap: una lógica modal tetravaluada carente de las paradojas modales fuertes tipo Łukasiewicz | Publicación