Tech Reports


A resolution-based calculus for Coalition Logic (Extended Version)

Cláudia Nalon, Lan Zhang, Clare Dixon, and Ullrich Hustadt


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.

[Full Paper]