No se encontró "modal logic". Parece que esa forma no existe