A resolution-based calculus for Coalition Logic

  title={A resolution-based calculus for Coalition Logic},
  author={Cl{\'a}udia Nalon and L. C. Zhang and Clare Dixon and Ullrich Hustadt},
  journal={J. Log. Comput.},
We present a resolution-based calculus for the Coalition Logic CL, a nonnormal 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. 

Tables and Topics from this paper.

Explore Further: Topics Discussed in This Paper


Publications referenced by this paper.

Similar Papers

Loading similar papers…