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.