@misc{indiciae7c9cc50e7b66,
  title = {Taming "McKinsey-like" formula: An Extended Correspondence and Completeness Theory for Hybrid Logic H(@)},
  author = {Zhiguang Zhao},
  year = {2022},
  url = {https://arxiv.org/abs/2210.04433},
  note = {Source identifier: 2210.04433}
}