TY  - RPRT
TI  - Sahlqvist-Type Completeness Theory for Hybrid Logic with Binder
AU  - Zhiguang Zhao
PY  - 2022
UR  - https://arxiv.org/abs/2207.01288
ID  - 2207.01288
ER  -