2 citations · 2 across the 1 of their papers we have counts for
1 paper
Cláudia Nalon, Lan Zhang, Clare Dixon +1
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 CLProv…