Cláudia Nalon, Lan Zhang, Clare Dixon, and Ullrich Hustadt (2014b): ``A resolution-based calculus for Coalition Logic.'' In Journal of Logic and Computation 24(4):883-917, 2014.
Abstract, BibTeX, PDF

We present a resolution-based calculus for Coalition Logic CL, a non-normal modal logic used for reasoning about cooperative agency. We introduce a normal form and a set of inference rules to solve the satisfiability problem in CL. We also show that the calculus presented here is sound, complete, and terminating.