Imperial College London

Emeritus ProfessorIanHodkinson

Faculty of EngineeringDepartment of Computing

Emeritus Professor of Logic and Computation



i.hodkinson Website




noneHuxley BuildingSouth Kensington Campus






Hodkinson I, 2020, On the variety generated by completions of representable relation algebras, Algebra Universalis, Vol:81, ISSN:0002-5240

Hodkinson I, 2020, Non-representable relation algebras from vector spaces, Australasian Journal of Logic, Vol:17, ISSN:1448-5052, Pages:82-109

Goldblatt R, Hodkinson I, 2017, Spatial logic of tangled closure operators and modal mu-calculus, Annals of Pure and Applied Logic, Vol:168, ISSN:1873-2461, Pages:1032-1090

Goldblatt R, Hodkinson I, 2017, Tangled closure algebras, Categories and General Algebraic Structures With Applications, Vol:7, ISSN:2345-5853, Pages:9-31

More Publications