Imperial College London

Emeritus ProfessorIanHodkinson

Faculty of EngineeringDepartment of Computing

Emeritus Professor of Logic and Computation
 
 
 
//

Contact

 

i.hodkinson Website

 
 
//

Location

 

noneHuxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Journals

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

More Publications