Expanding the Leibniz Hierarchy. - Ugo C. M. Almeida; Darllan Conceição Pinto (J. Log. Comput., 2025)