11 citations · 43 across the 14 of their papers we have counts for
6 papers · 1 filter
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…
Finite Representability of Semigroups with Demonic Refinement
Robin Hirsch, Jaš Šemrl
Composition and demonic refinement of binary relations are defined by \begin{align*} (x, y)\in (R;S)&\iff \exists z((x, z)\in R\wedge (z, y)\in S) R\sqsubseteq S&\iff…
The algebra of non-deterministic programs: demonic operators, orders and axioms
Robin Hirsch, Szabolcs Mikulás, Tim Stokes
Demonic composition, demonic refinement and demonic union are alternatives to the usual "angelic" composition, angelic refinement (inclusion) and angelic (usual) union defined on b…
Marxism, Logic and the Rate of Profit
Robin Hirsch
It is argued that Marxism, being based on contradictions, is an illogical method. More specifically, we present a rejection of Marx's thesis that the rate of profit has a long-term…
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…
Seurat games on Stockmeyer graphs
Rob Egrot, Robin Hirsch
We define a family of vertex colouring games played over a pair of graphs or digraphs by players and . These games arise from work on a longstanding open…