@misc{indiciae6345f32c8830,
  title = {Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge},
  author = {Mai Ajspur and Valentin Goranko and Dmitry Shkatov},
  year = {2012},
  url = {https://arxiv.org/abs/1201.5346},
  note = {Source identifier: 1201.5346}
}