Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic

Valentin Goranko Dmitry Shkatov Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic http://arxiv.org/abs/0902.2125 2009 CoRR abs/0902.2125 db/journals/corr/corr0902.html#abs-0902-2125 informal publication