Brett McLean

According to our database, Brett McLean authored at least 18 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2025

Gödel-Dummett linear temporal logic.

Juan P. Aguilera, Martín Diéguez, David Fernández-Duque, Brett McLean

Artif. Intell., 2025

2024

Preservation theorems for Tarski's relation algebra.

Bart Bogaerts, Balder ten Cate, Brett McLean, Jan Van den Bussche

Log. Methods Comput. Sci., 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

A Sound and Complete Axiomatisation for Intuitionistic Linear Temporal Logic.

David Fernández-Duque, Brett McLean, Lukas Zenger

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

2023

Complete representation by partial functions for signatures containing antidomain restriction.

Brett McLean

CoRR, 2023

A Family of Decidable Bi-intuitionistic Modal Logics.

David Fernández-Duque, Brett McLean, Lukas Zenger

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

2022

Time and Gödel: Fuzzy Temporal Reasoning in PSPACE.

Juan P. Aguilera, Martín Diéguez, David Fernández-Duque, Brett McLean

Proceedings of the Logic, Language, Information, and Computation, 2022

A Gödel Calculus for Linear Temporal Logic.

Juan P. Aguilera, Martín Diéguez, David Fernández-Duque, Brett McLean

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

EXPTIME-hardness of higher-dimensional Minkowski spacetime.

Robin Hirsch, Brett McLean

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2020

Free Kleene algebras with domain.

Brett McLean

J. Log. Algebraic Methods Program., 2020

Difference-restriction algebras of partial functions with operators: discrete duality and completion.

Célia Borlido, Brett McLean

CoRR, 2020

Difference-restriction algebras of partial functions: axiomatisations and representations.

Célia Borlido, Brett McLean

CoRR, 2020

A categorical duality for algebras of partial functions.

Brett McLean

CoRR, 2020

2018

Algebras of partial functions.

Brett McLean

PhD thesis, 2018

The Temporal Logic of Two-Dimensional Minkowski Spacetime with Slower-Than-Light Accessibility Is Decidable.

Robin Hirsch, Brett McLean

Proceedings of the Advances in Modal Logic 12, 2018

2017

Complete representation by partial functions for composition, intersection and anti-domain.

Brett McLean

J. Log. Comput., 2017

Disjoint-union partial algebras.

Robin Hirsch, Brett McLean

Log. Methods Comput. Sci., 2017

2016

The finite representation property for composition, intersection, domain and range.

Brett McLean, Szabolcs Mikulás

Int. J. Algebra Comput., 2016