TY  - RPRT
TI  - Taming "McKinsey-like" formula: An Extended Correspondence and Completeness Theory for Hybrid Logic H(@)
AU  - Zhiguang Zhao
PY  - 2022
UR  - https://arxiv.org/abs/2210.04433
ID  - 2210.04433
ER  -