@misc{W2146819619,
  author = {Joseph Halpern},
  title = {Reasoning about knowledge},
  year = {1994},
  howpublished = {Mathematical Social Sciences},
  doi = {https://doi.org/10.1016/0165-4896(94)90005-1}
}