Brett McLean

Postdoc (supervised by Andreas Weiermann and David Fernández-Duque)

Department of Mathematics: Analysis, Logic and Discrete Mathematics
Ghent University

Previously a postdoc on Mai Gehrke's ERC project
Duality in Formal Languages and Logic
Laboratoire J. A. Dieudonné
Université Nice Sophia Antipolis

Publications Scholar arXiv

  1. EXPTIME-hardness of higher-dimensional Minkowski spacetime (with Robin Hirsch)
    Advances in Modal Logic, vol. 14, College Publications, 2022, pp. 491–506.

  2. A Gödel Calculus for linear temporal logic (with Juan Pablo Aguilera, Martín Diéguez, and David Fernández-Duque)
    Principles of Knowledge Representation and Reasoning (KR), proceedings of 19th International Conference, 2022, pp. 2–11.

  3. Time and Gödel: Fuzzy temporal reasoning in PSPACE (with Juan Pablo Aguilera, Martín Diéguez, and David Fernández-Duque)
    Workshop on Logic, Language, Information, and Computation (WoLLIC), proceedings of 28th International Workshop, Springer, 2022, pp. 18–35.

  4. Difference–restriction algebras of partial functions with operators: discrete duality and completion (with Célia Borlido)
    Journal of Algebra 604 (2022), 760–789.

  5. Difference–restriction algebras of partial functions: axiomatisations and representations (with Célia Borlido)
    Algebra Universalis 83 (2022), no. 3.

  6. A categorical duality for algebras of partial functions
    Journal of Pure and Applied Algebra 225 (2021), no. 11, 106755.

  7. Temporal logic of Minkowski spacetime (with Robin Hirsch)
    Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs, Outstanding Contributions to Logic, vol. 22, Springer, 2022, pp. 389–409.

  8. Free Kleene algebras with domain
    Journal of Logical and Algebraic Methods in Programming 117 (2020), 100606.

  9. The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable (with Robin Hirsch)
    Advances in Modal Logic, vol. 12, College Publications, 2018, pp. 347–366.

  10. Disjoint-union partial algebras (with Robin Hirsch)
    Logical Methods in Computer Science 13 (2017), no. 2:10, 1–31.

  11. Algebras of multiplace functions for signatures containing antidomain
    Algebra Universalis 78 (2017), no. 2, 215–248.

  12. The finite representation property for composition, intersection, domain and range (with Szabolcs Mikulás) [previously]
    International Journal of Algebra and Computation 26 (2016), no. 6, 1199–1216.

  13. Complete representation by partial functions for composition, intersection and antidomain
    Journal of Logic and Computation 27 (2017), no.4, 1143–1156.

PhD thesis