@misc{indiciaece52490bb19e,
  title = {Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability},
  author = {Qian Chen and Dazhu Li},
  year = {2023},
  url = {https://arxiv.org/abs/2305.16021},
  note = {Source identifier: 2305.16021}
}