Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox


A Resolution Prover for Coalition Logic

Apr 03, 2014
Cláudia Nalon, Lan Zhang, Clare Dixon, Ullrich Hustadt


Share this with someone who'll enjoy it:


We present a prototype tool for automated reasoning for Coalition Logic, a non-normal modal logic that can be used for reasoning about cooperative agency. The theorem prover CLProver is based on recent work on a resolution-based calculus for Coalition Logic that operates on coalition problems, a normal form for Coalition Logic. We provide an overview of coalition problems and of the resolution-based calculus for Coalition Logic. We then give details of the implementation of CLProver and present the results for a comparison with an existing tableau-based solver.

* EPTCS 146, 2014, pp. 65-73 
* In Proceedings SR 2014, arXiv:1404.0414 


   Access Paper Source



Share this with someone who'll enjoy it: