TY - RPRT TI - Wanted Dead or Alive : Epistemic logic for impure simplicial complexes AU - Hans van Ditmarsch AU - Roman Kuznets PY - 2023 UR - https://arxiv.org/abs/2103.03032 ID - 2103.03032 ER -