Sawasaki, Takahiro. “Semantic Incompleteness of Liberman Et Al. (2020)’s Hilbert-Style Systems for Term-Modal Logics With Equality and Non-Rigid Terms”. Bulletin of the Section of Logic, vol. 54, no. 2, Sept. 2025, pp. 207-26, doi:10.18778/0138-0680.2025.07.