French, Tim,
Hales, James and
Tay, Edwin. 2014.
“A Composable Language for Action Models.” in
Advances in Modal Logic, volume X, edited by Rajeev
Goré, Barteld P.
Kooi, and Ágnes
Kurucz, pp. 197–216. London: King’s College Publications.
Hales, James,
French, Tim and
Davies, Rowan. 2012.
“Refinement Quantified Logics of Knowledge and Belief for Multiple Agents.” in
Advances in Modal Logic, volume IX, edited by Thomas
Bolander, Torben
Braüner, Silvio
Ghilardi, and Lawrence S.
Moss, pp. 317–338. London: King’s College Publications.