Algebraic logic

Much of my research in this area has been joint with Robin Hirsch.  
The book on relation algebras was jointly written with him.

I have also worked with Hajnal Andréka, Rob Goldblatt, Agi Kurucz, Roger Maddux, Maarten Marx, Szabolcs Mikulás, Istvan Németi, Mark Reynolds, Yde Venema.

See Links

Some open problems (see also status of problems from the above-mentioned book with Hirsch)

Brief outline of area

Surveys

• Games in algebraic logic: axiomatisations and beyond
  R. Hirsch and I. Hodkinson
  in: Stefan Bold, Benedikt Löwe, Thoralf Räsch, Johan van Benthem (eds.), Foundations of the Formal Sciences V, Infinite Games, Studies in Logic 11, College Publications, London, 2007, pages 157-185.
  
  
• Slides for lectures at The Third International Tbilisi Symposium on Language, Logic and Computation, Batumi, Georgia, September 1999.
  A gentle introduction to some aspects of relation algebras.
  Article version available in the proceedings.
  
  
• Games in algebraic logic
  R. Hirsch and I. Hodkinson
  Proc. 11th Amsterdam Colloquium, P. Dekker, M. Stokhof, Y. Venema (eds), ILLC/Department of Philosophy, Universiteit van Amsterdam, 1997, pp. 7-12.
  
  
• Connections between cylindric algebras and relation algebras
  R. Hirsch and I. Hodkinson
  RelMiCS, Warszawa, 1998.
  
  
• An application of first-order compactness in canonicity of relation algebras
  Ian Hodkinson
  in: Aventuras en el Mundo de la Lógica: Ensayos en Honor a María Manzano,
  E. Alonso, A. Huertas, A. Moldovan (eds),
  Cuadernos de lógica, epistemología y lenguaje, vol. 13, College Publications, 2019, pp. 205-222.