Brett McLean
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2018–2024
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | KR | A Sound and Complete Axiomatisation for Intuitionistic Linear Temporal Logic. | David Fernndez-Duque, Brett McLean, Lukas Zenger |
| 2023 | KR | A Family of Decidable Bi-intuitionistic Modal Logics. | David Fernndez-Duque, Brett McLean, Lukas Zenger |
| 2022 | AiML | EXPTIME-hardness of higher-dimensional Minkowski spacetime. | Robin Hirsch, Brett McLean |
| 2022 | KR | A Gdel Calculus for Linear Temporal Logic. | Juan P. Aguilera, Martn Diguez, David Fernndez-Duque, Brett McLean |
| 2022 | WoLLIC | Time and Gdel: Fuzzy Temporal Reasoning in PSPACE. | Juan P. Aguilera, Martn Diguez, David Fernndez-Duque, Brett McLean |
| 2018 | AiML | The Temporal Logic of Two-Dimensional Minkowski Spacetime with Slower-Than-Light Accessibility Is Decidable. | Robin Hirsch, Brett McLean |