T. Sawasaki, “Semantic Incompleteness of Liberman et al. (2020)’s Hilbert-style Systems for Term-modal Logics with Equality and Non-rigid Terms”, B Sect Log, vol. 54, no. 2, pp. 207–226, Sep. 2025.