< Back to previous page
Researcher
Brett McLean
- Keywords:Algebraic logic, Modal logic
- Disciplines:Mathematical logic and foundations, General algebraic systems, Computational logic and formal languages, Order, lattices, ordered algebraic structures
Affiliations
- Department of Mathematics: Analysis, Logic and Discrete Mathematics (Department)
Member
From1 Apr 2021 → Today
Projects
1 - 1 of 1
- Duality theory for verification formalismsFrom1 Nov 2023 → TodayFunding: FWO senior postdoctoral fellowship
Publications
1 - 10 of 10
- Temporal logic of Minkowski spacetime(2022)Series: Outstanding Contributions to Logic
Authors: Robin Hirsch, Brett McLean, Ivo Düntsch, Edwin Mares
Pages: 389 - 409 - A categorical duality for algebras of partial functions(2021)
Authors: Brett McLean
- Free Kleene algebras with domain
Authors: Brett McLean
- DifferenceU+2013restriction algebras of partial functions : axiomatisations and representations
Authors: Célia Borlido, Brett McLean
- Disjoint-union partial algebras
Authors: Robin Hirsch, Brett McLean
- Algebras of multiplace functions for signatures containing antidomain
Authors: Brett McLean
Pages: 215 - 248 - The finite representation property for composition, intersection, domain and range
Authors: Brett McLean, Szabolcs Mikulas
Pages: 1199 - 1215 - The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidableVolume: 12
Authors: Robin Hirsch, Brett McLean
Pages: 347 - 366 - Complete representation by partial functions for composition, intersection and anti-domain
Authors: Brett McLean
Pages: 1143 - 1156 - DifferenceU+2013restriction algebras of partial functions with operators : discrete duality and completion
Authors: Célia Borlido, Brett McLean
Pages: 760 - 789