Showing math.LOShow all
2 papers · 1 filter
math.LO2024
Minimal signatures with undecidability of representability by binary relations
Robin Hirsch, Marcel Jackson, Jaš Šemrl
A semigroup of binary relations (under composition) on a set is \emph{complemented} if it is closed under the taking of complements within . We resolve a 1991 proble…
math.LO2024
An axiomatisation of the temporal logic of two dimensional Minkowski spacetime
Robin Hirsch
We define temporal axioms that are sound and complete for the temporal validities over .