Sawasaki, Takahiro. 2025. “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 (2):207-26. https://doi.org/10.18778/0138-0680.2025.07.