Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge

Valentin Goranko Dmitry Shkatov Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge http://arxiv.org/abs/0808.4133 2008 CoRR abs/0808.4133 db/journals/corr/corr0808.html#abs-0808-4133 informal publication