Brett McLean

ORCID

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 22

Top Venues

CoRR

J. Log. Algebraic Methods Program.

WoLLIC

University College London, UK (PHD)

Education History

University College London, UK

PHD

Publications

Philippe Balbiani, Martín Diéguez, David Fernández-Duque, Brett McLean
Constructive S4 modal logics with the finite birelational frame property. CoRR (2024)
Brett McLean
Complete representation by partial functions for signatures containing antidomain restriction. CoRR (2023)
David Fernández-Duque, Brett McLean, Lukas Zenger
A Family of Decidable Bi-intuitionistic Modal Logics. KR (2023)
Juan Pablo Aguilera Ozuna, Martín Diéguez, David Fernández-Duque, Brett McLean
Gödel-Dummett linear temporal logic. CoRR (2023)
Bart Bogaerts, Balder ten Cate, Brett McLean, Jan Van den Bussche
Preservation theorems for Tarski's relation algebra. CoRR (2023)
Juan P. Aguilera, Martín Diéguez, David Fernández-Duque, Brett McLean
Time and Gödel: Fuzzy Temporal Reasoning in PSPACE. WoLLIC (2022)
Robin Hirsch, Brett McLean
EXPTIME-hardness of higher-dimensional Minkowski spacetime. AiML (2022)
Juan Pablo Aguilera Ozuna, Martín Diéguez, David Fernández-Duque, Brett McLean
A Gödel Calculus for Linear Temporal Logic. CoRR (2022)
Robin Hirsch, Brett McLean
EXPTIME-hardness of higher-dimensional Minkowski spacetime. CoRR (2022)
Juan P. Aguilera, Martín Diéguez, David Fernández-Duque, Brett McLean
A Gödel Calculus for Linear Temporal Logic. KR (2022)
Juan Pablo Aguilera Ozuna, Martín Diéguez, David Fernández-Duque, Brett McLean
Time and Gödel: Fuzzy temporal reasoning in PSPACE. CoRR (2022)
Célia Borlido, Brett McLean
Difference-restriction algebras of partial functions with operators: discrete duality and completion. CoRR (2020)
Brett McLean
A categorical duality for algebras of partial functions. CoRR (2020)
Célia Borlido, Brett McLean
Difference-restriction algebras of partial functions: axiomatisations and representations. CoRR (2020)
Brett McLean
Free Kleene algebras with domain. J. Log. Algebraic Methods Program. 117 (2020)
Brett McLean
Free Kleene algebras with domain. CoRR (2019)
Robin Hirsch, Brett McLean
The Temporal Logic of Two-Dimensional Minkowski Spacetime with Slower-Than-Light Accessibility Is Decidable. Advances in Modal Logic (2018)
Robin Hirsch, Brett McLean
The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable. CoRR (2018)
Robin Hirsch, Brett McLean
Disjoint-union partial algebras. Log. Methods Comput. Sci. 13 (2) (2017)
Brett McLean
Complete representation by partial functions for composition, intersection and anti-domain. J. Log. Comput. 27 (4) (2017)
Robin Hirsch, Brett McLean
Disjoint-union partial algebras. CoRR (2016)
Brett McLean, Szabolcs Mikulás
The finite representation property for composition, intersection, domain and range. Int. J. Algebra Comput. 26 (6) (2016)
Brett McLean, Szabolcs Mikulás
The finite representation property for composition, intersection, domain and range. CoRR (2015)

Brett McLean.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Brett McLean