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, 207-226.