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

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

collaborators
Showing 2020 · math.LOShow all

2 papers · 2 filters

math.LO2020

Temporal Logic of Minkowski Spacetime

Robin Hirsch, Brett McLean

We present the proof that the temporal logic of two-dimensional Minkowski spacetime is decidable, PSPACE-complete. The proof is based on a type of two-dimensional mosaic. Then we p…

math.LO2020

First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth

Rob Egrot, Robin Hirsch

Using a variation of the rainbow construction and various pebble and colouring games, we prove that RRA, the class of all representable relation algebras, cannot be axiomatised by…