mchlpe.bib

@article{liuWang2013:agentTypesHLPE,
  title={Reasoning about agent types and the hardest logic puzzle ever},
  author={Liu, Fenrong and Wang, Yanjing},
  journal={Minds and Machines},
  volume={23},
  number={1},
  pages={123--161},
  publisher={Springer},
  year = 2013,
  doi = {10.1007/s11023-012-9287-x},
  url = {http://dx.doi.org/10.1007/s11023-012-9287-x},
}

@article{rabern2008simple,
  title={A simple solution to the hardest logic puzzle ever},
  author={Rabern, Brian and Rabern, Landon},
  journal={Analysis},
  volume={68},
  number={2},
  pages={105--112},
  publisher={Oxford University Press},
  year = 2008,
  doi = {10.1093/analys/68.2.105},
  url = {http://dx.doi.org/10.1093/analys/68.2.105},
}

@inproceedings{JvE:DEMO,
  author = "van Eijck, Jan",
  booktitle = "{Interactive Logic. Selected Papers from the 7th Augustus de Morgan Workshop, London}",
  pages = "303--362",
  title = "{DEMO---a demo of epistemic modelling}",
  volume = "1",
  year = 2007,
  url = {http://homepages.cwi.nl/~jve/papers/07/pdfs/DEMO_IL.pdf}
}

@techreport{JvE2014:EREL,
  author = {van Eijck, Jan},
  institution = {CWI},
  title = "{Relations, Equivalences, Partitions}",
  year = 2014,
  url = {http://homepages.cwi.nl/~jve/software/demo_s5/EREL.pdf},
}

@article{Boolos1996:HLPE,
  title={The hardest logic puzzle ever},
  author={Boolos, George},
  journal={The Harvard Review of Philosophy},
  volume={6},
  number={1},
  pages={62--65},
  year={1996}
}