Brett McLean

MaRDI QIDQ2031545zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Gödel-Dummett linear temporal logic Artificial Intelligence	2025-01-17	Paper
Complete representation by partial functions for signatures containing antidomain restriction International Journal of Algebra and Computation	2025-01-10	Paper
Preservation theorems for Tarski's relation algebra Logical Methods in Computer Science	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 Logic, Language, Information, and Computation	2023-06-02	Paper
EXPTIME-hardness of higher-dimensional Minkowski spacetime (available as arXiv preprint)	2023-03-24	Paper
Difference-restriction algebras of partial functions: axiomatisations and representations Algebra Universalis	2022-07-13	Paper
EXPTIME-hardness of higher-dimensional Minkowski spacetime (available as arXiv preprint)	2022-06-14	Paper
Difference-restriction algebras of partial functions with operators: discrete duality and completion Journal of Algebra	2022-05-16	Paper
Temporal logic of Minkowski spacetime Outstanding Contributions to Logic	2022-02-04	Paper
A categorical duality for algebras of partial functions Journal of Pure and Applied Algebra	2021-06-09	Paper
Difference-restriction algebras of partial functions: axiomatisations and representations (available as arXiv preprint)	2020-11-30	Paper
Difference-restriction algebras of partial functions with operators: discrete duality and completion (available as arXiv preprint)	2020-11-30	Paper
Free Kleene algebras with domain Journal of Logical and Algebraic Methods in Programming	2020-11-09	Paper
The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable (available as arXiv preprint)	2019-07-24	Paper
Complete representation by partial functions for composition, intersection and anti-domain Journal Of Logic And Computation	2018-02-13	Paper
Algebras of multiplace functions for signatures containing antidomain Algebra Universalis	2017-10-24	Paper
Disjoint-union partial algebras (available as arXiv preprint)	2017-07-13	Paper
The finite representation property for composition, intersection, domain and range International Journal of Algebra and Computation	2016-10-25	Paper

Research outcomes over time

This page was built for person: Brett McLean