, Department of Computing, Imperial College London

• The Australasian Journal of Logic Vol. 5 (2007): Australasian Journal of Logic - Articles
  The McKinsey–Lemmon logic is barely canonical
  Abstract  PDF