6 citations · 42 across the 18 of their papers we have counts for
Showing 2020 · math.LOShow all
3 papers · 2 filters
math.LO2020★ 3 cited
Difference-restriction algebras of partial functions with operators: discrete duality and completion
Célia Borlido, Brett McLean
We exhibit an adjunction between a category of abstract algebras of partial functions and a category of set quotients. The algebras are those atomic algebras representable as a col…
math.LO2020★ 5 cited
Difference-restriction algebras of partial functions: axiomatisations and representations
Célia Borlido, Brett McLean
We investigate the representation and complete representation classes for algebras of partial functions with the signature of relative complement and domain restriction. We provide…
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…