Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic.

Valentin Goranko, Dmitry Shkatov

Browse the full LFCS paper archive.