Alexander Kurz is a reader in the department of Computer Science at the University of Leicester. He has written extensively on the applications of coalgebra techniques in modal logic
C. Cirstea, A. Kurz, D. Pattinson, L. Schröder, Y. Venema: Modal Logics are Coalgebraic. BCS Visions in Computer Science 2008.
A. Kurz : Coalgebras and Modal Logic. Course Notes for ESSLLI 2001, Version of October 2001. Appeared on the CD-Rom ESSLLI’01, Department of Philosophy, University of Helsinki, Finland, available from site.