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

Valentin Goranko, Dmitry Shkatov

We study the multiagent epistemic logic CMAELCD with operators for common and distributed knowledge for all coalitions of agents. We introduce Hintikka structures for this logic an…