 | Up a level |
Zhang, Lan
Clausal reasoning for branching-time logics.
Doctor of Philosophy thesis, University of Liverpool.
Zhang, Lan, Hustadt, Ullrich 
ORCID: 0000-0002-0455-0267 and Dixon, Clare ORCID: 0000-0002-4610-9533
(2014)
A Resolution Calculus for the Branching-Time Temporal Logic CTL.
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 15 (1).
pp. 1-38.
Nalon, Cláudia, Zhang, Lan, Dixon, Clare ORCID: 0000-0002-4610-9533 and Hustadt, Ullrich ORCID: 0000-0002-0455-0267
(2014)
A Resolution Prover for Coalition Logic.
In: 2nd International Workshop on Strategic Reasoning, Satellite workshop of ETAPS 2014.
Nalon, Cláudia, Zhang, Lan, Dixon, Clare ORCID: 0000-0002-4610-9533 and Hustadt, Ullrich ORCID: 0000-0002-0455-0267
(2014)
A resolution-based calculus for Coalition Logic.
Journal of Logic and Computation, 24 (4).
pp. 883-917.