TY  - RPRT
TI  - Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic
AU  - Valentin Goranko
AU  - Dmitry Shkatov
PY  - 2009
UR  - https://arxiv.org/abs/0902.2125
ID  - 0902.2125
ER  -