@misc{indiciaef303e89363df,
  title = {Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge},
  author = {Valentin Goranko and Dmitry Shkatov},
  year = {2008},
  doi = {10.1109/sefm.2008.27},
  url = {https://arxiv.org/abs/0808.4133},
  note = {Source identifier: 0808.4133}
}