3 papers
math.LO2025
Difference-restriction algebras with operators
Célia Borlido, Ganna Kudryavtseva, Brett McLean
We exhibit an adjunction between a category of abstract algebras of partial functions that we call difference-restriction algebras and a category of Hausdorff étale spaces. Differe…
math.LO2019
Free Kleene algebras with domain
Brett McLean
First we identify the free algebras of the class of algebras of binary relations equipped with the composition and domain operations. Elements of the free algebras are pointed labe…
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…