The finite representation property for composition, intersection, domain and range. - Brett McLean; Szabolcs Mikulás (Int. J. Algebra Comput., 2016)

Disjoint-union partial algebras. - Robin Hirsch; Brett McLean (Log. Methods Comput. Sci., 2017)

Complete representation by partial functions for composition, intersection and anti-domain. - Brett McLean (J. Log. Comput., 2017)

The Temporal Logic of Two-Dimensional Minkowski Spacetime with Slower-Than-Light Accessibility Is Decidable. - Robin Hirsch; Brett McLean (Advances in Modal Logic, 2018)

Algebras of partial functions. - Brett McLean (2018)

A categorical duality for algebras of partial functions. - Brett McLean (CoRR, 2020)

Difference-restriction algebras of partial functions: axiomatisations and representations. - Célia Borlido; Brett McLean (CoRR, 2020)

Difference-restriction algebras of partial functions with operators: discrete duality and completion. - Célia Borlido; Brett McLean (CoRR, 2020)

Free Kleene algebras with domain. - Brett McLean (J. Log. Algebraic Methods Program., 2020)

EXPTIME-hardness of higher-dimensional Minkowski spacetime. - Robin Hirsch; Brett McLean (AiML, 2022)

A Gödel Calculus for Linear Temporal Logic. - Juan P. Aguilera 001; Martín Diéguez; David Fernández-Duque; Brett McLean (KR, 2022)

Time and Gödel: Fuzzy Temporal Reasoning in PSPACE. - Juan P. Aguilera 001; Martín Diéguez; David Fernández-Duque; Brett McLean (WoLLIC, 2022)

A Family of Decidable Bi-intuitionistic Modal Logics. - David Fernández-Duque; Brett McLean; Lukas Zenger (KR, 2023)

A Sound and Complete Axiomatisation for Intuitionistic Linear Temporal Logic. - David Fernández-Duque; Brett McLean; Lukas Zenger (KR, 2024)

Constructive S4 modal logics with the finite birelational frame property. - Philippe Balbiani; Martín Diéguez; David Fernández-Duque; Brett McLean (CoRR, 2024)

Preservation theorems for Tarski's relation algebra. - Bart Bogaerts 001; Balder ten Cate; Brett McLean; Jan Van den Bussche (Log. Methods Comput. Sci., 2024)

Complete representation by partial functions for signatures containing antidomain restriction. - Brett McLean (Int. J. Algebra Comput., 2024)

Gödel-Dummett linear temporal logic. - Juan P. Aguilera 001; Martín Diéguez; David Fernández-Duque; Brett McLean (Artif. Intell., 2025)