papers
Publications (5)
math.LO2014
The algebra of functions with antidomain and range
Robin Hirsch, Marcel Jackson, Szabolcs Mikulás
math.RA2016
Completely Representable Lattices
Robert Egrot, Robin Hirsch
math.LO2017
The Temporal Logic of two dimensional Minkowski spacetime is decidable
Robin Hirsch, Mark Reynolds
math.LO2016
There is no finite-variable equational axiomatization of representable relation algebras over weakly representable relation algebras
Jeremy F. Alm, Robin Hirsch, Roger D. Maddux
math.RA2015
Meet-completions and ordered domain algebras
Rob Egrot, Robin Hirsch