No se encontró "monadic second-order logic". Parece que esa forma no existe