London Logic Forum (LLF) - Ian Hodkinson

Ian Hodkinson is Emeritus Professor in the Department of Computing at Imperial College London. His research focuses on the mathematics of algebraic, modal, and temporal logic, and the links between these fields. Recently he has been involved in:

• extensive work on relation algebras;
• the development of monodic fragments of first-order temporal logics;
• the study of canonicity in modal and algebraic logic, using random graphs and including joint work with Goldblatt and Venema solving Fine's 1975 problem on whether every canonical modal logic is sound and complete for an elementary class of frames;
• establishing the finite model property of guarded logics using model-theoretic methods.

More information