Cláudia Nalon, Lan Zhang, Clare Dixon, and Ullrich Hustadt (2013): ``A resolution-based calculus for Coalition Logic (Extended Version).'' Technical Report ULCS-13-004, Department of Computer Science, University of Liverpool.
Abstract, BibTeX, PDF

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