@misc{indiciae2729bc42b2c7,
  title = {Semantic Incompleteness of Liberman et al. (2020)'s Hilbert-style System for Term-modal Logic K with Equality and Non-rigid Terms},
  author = {Takahiro Sawasaki},
  year = {2024},
  doi = {10.4204/eptcs.415.9},
  url = {https://arxiv.org/abs/2501.00486},
  note = {Source identifier: 2501.00486}
}