no code implementations • 3 Apr 2014 • Cláudia Nalon, Lan Zhang, Clare Dixon, Ullrich Hustadt
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.