TY  - RPRT
TI  - Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability
AU  - Qian Chen
AU  - Dazhu Li
PY  - 2023
UR  - https://arxiv.org/abs/2305.16021
ID  - 2305.16021
ER  -