Brett McLean

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