Brett McLean

Available identifiers

zbMath Open mclean.brettMaRDI QIDQ2031545

List of research outcomes

Publication	Date of Publication	Type
Gödel-Dummett linear temporal logic	2025-01-17	Paper
Complete representation by partial functions for signatures containing antidomain restriction	2025-01-10	Paper
Preservation theorems for Tarski's relation algebra	2024-11-12	Paper
Complete representation by partial functions for signatures containing antidomain restriction	2023-07-18	Paper
Time and Gödel: fuzzy temporal reasoning in PSPACE	2023-06-02	Paper
EXPTIME-hardness of higher-dimensional Minkowski spacetime	2023-03-24	Paper
Difference-restriction algebras of partial functions: axiomatisations and representations	2022-07-13	Paper
EXPTIME-hardness of higher-dimensional Minkowski spacetime	2022-06-14	Paper
Difference-restriction algebras of partial functions with operators: discrete duality and completion	2022-05-16	Paper
Temporal logic of Minkowski spacetime	2022-02-04	Paper
A categorical duality for algebras of partial functions	2021-06-09	Paper
Difference-restriction algebras of partial functions: axiomatisations and representations	2020-11-30	Paper
Difference-restriction algebras of partial functions with operators: discrete duality and completion	2020-11-30	Paper
Free Kleene algebras with domain	2020-11-09	Paper
The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable	2019-07-24	Paper
Complete representation by partial functions for composition, intersection and anti-domain	2018-02-13	Paper
Algebras of multiplace functions for signatures containing antidomain	2017-10-24	Paper
Disjoint-union partial algebras	2017-07-13	Paper
The finite representation property for composition, intersection, domain and range	2016-10-25	Paper

Research outcomes over time

This page was built for person: Brett McLean