1 citations · 1 across the 1 of their papers we have counts for
3 papers
cs.LO2026★ 1 cited
Constructive S4 modal logics with the finite birelational frame property
Philippe Balbiani, MartÃn Diéguez, David Fernández-Duque +1
The logics and are the two leading intuitionistic variants of the modal logic . Whether the finite model property holds for each of these…
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…