@misc{indiciaeb7688f265b24,
  title = {Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE},
  author = {Louwe B. Kuijer},
  year = {2017},
  doi = {10.4204/eptcs.251.27},
  url = {https://arxiv.org/abs/1707.08754},
  note = {Source identifier: 1707.08754}
}