@Inproceedings{EPTCS251.16,
  author    = {Garrabrant, Scott and Benson-Tilsen, Tsvi and Critch, Andrew and Soares, Nate and Taylor, Jessica},
  year      = {2017},
  title     = {A Formal Approach to the Problem of Logical Non-Omniscience},
  editor    = {Lang, J\'er\^ome},
  booktitle = {{\rm Proceedings Sixteenth Conference on}
               Theoretical Aspects of Rationality and Knowledge,
               {\rm Liverpool, UK, 24-26 July 2017}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {251},
  publisher = {Open Publishing Association},
  pages     = {221-235},
  doi       = {10.4204/EPTCS.251.16},
}