11 citations · 43 across the 14 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
math.LO2015
The Temporal Logic of two dimensional Minkowski spacetime is decidable
Robin Hirsch, Mark Reynolds
We consider Minkowski spacetime, the set of all point-events of spacetime under the relation of causal accessibility. That is, can access if an electromagnetic…
math.RA2015
Meet-completions and ordered domain algebras
Rob Egrot, Robin Hirsch
Using the well-known equivalence between meet-completions of posets and standard closure operators we show a general method for constructing meet-completions for isotone poset expa…