Sawasaki T. Semantic Incompleteness of Liberman et al. (2020)’s Hilbert-style Systems for Term-modal Logics with Equality and Non-rigid Terms. B Sect Log. 2025;54(2):207-226. doi:10.18778/0138-0680.2025.07