2 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LO2014★ 2 cited
Clausal Resolution for Modal Logics of Confluence
Cláudia Nalon, João Marcos, Clare Dixon
We present a clausal resolution-based method for normal multimodal logics of confluence, whose Kripke semantics are based on frames characterised by appropriate instances of the Ch…
cs.LO2014★ 2 cited
A Resolution Prover for Coalition Logic
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…