By Professor Ron Van der Meyden

Book Chapters

van der Meyden R, 2011, 'Two Applications of Epistemic Logic in Computer Security', in VanBenthem J; Gupta A; Parikh R (ed.), PROOF, COMPUTATION AND AGENCY: LOGIC AT THE CROSSROADS, SPRINGER, pp. 133 - 144, http://dx.doi.org/10.1007/978-94-007-0080-2_9

Van Der Meyden R, 2007, 'Two applications of epistemic logic in computer science', in Gupta A (ed.), Logic at the crossroads, Allied publishers, New Delhi, pp. 207 - 221

Back to profile page