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 [Internet]. 2025 Sep. 18 [cited 2025 Dec. 8];54(2):207-26. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/24511