@misc{indiciaea30ef65ce201,
  title = {A Formal Approach to the Problem of Logical Non-Omniscience},
  author = {Scott Garrabrant and Tsvi Benson-Tilsen and Andrew Critch and Nate Soares and Jessica Taylor},
  year = {2017},
  doi = {10.4204/eptcs.251.16},
  url = {https://arxiv.org/abs/1707.08747},
  note = {Source identifier: 1707.08747}
}