activity
20242026
most citedConstructive S4 modal logics with the finite birelational frame property

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

collaborators
Showing math.LOShow all

2 papers · 1 filter

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. Differ…

math.LO2024

Complete representation by partial functions for signatures containing antidomain restriction

Brett McLean

We investigate notions of complete representation by partial functions, where the operations in the signature include antidomain restriction and may include composition, intersecti…