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 54, no. 2 (September 18, 2025): 207–226. Accessed December 6, 2025. https://czasopisma.uni.lodz.pl/bulletin/article/view/24511.