J. Toranzo Calderón and F. Pailos, “Beyond Mixed Logics”, LLP, vol. 31, no. 4, pp. 637–664, Apr. 2022.