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. 237-246 2008 SEFM http://dx.doi.org/10.1109/SEFM.2008.27 conf/sefm/2008 db/conf/sefm/sefm2008.html#GorankoS08