Valentin Goranko Dmitry Shkatov Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time http://arxiv.org/abs/0902.2104 2009 CoRR abs/0902.2104 db/journals/corr/corr0902.html#abs-0902-2104 informal publication