activity
20152021
most citedA corrected strategy for proving no finite variable axiomatisation exists for RRA

2 citations · 2 across the 1 of their papers we have counts for

collaborators
Showing math.LOShow all

2 papers · 1 filter

math.LO2021★ 2 cited

A corrected strategy for proving no finite variable axiomatisation exists for RRA

Rob Egrot, Robin Hirsch

We show that if for all finite there is a pair of non-isomorphic finite digraphs satisfying some additional conditions, one of which is that they cannot be distinguished in a c…

math.LO2018

The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable

Robin Hirsch, Brett McLean

We work primarily with the Kripke frame consisting of two-dimensional Minkowski spacetime with the irreflexive accessibility relation 'can reach with a slower-than-light signal'. W…