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

@inproceedings{Nalon2013ARC,
  title={A resolution-based calculus for Coalition Logic ( Extended Version )},
  author={Cl{\'a}udia Nalon and Lan Zhang and Clare Dixon and Ullrich Hustadt},
  year={2013}
}
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. 

Similar Papers

Tables and Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-2 OF 2 CITATIONS

References

Publications referenced by this paper.