dr. Brett McLean
- ORCID iD
- 0000-0003-2368-8357
Show
Sort by
-
A Family of Decidable Bi-intuitionistic Modal Logics
-
- Conference Paper
- C1
- open access
A Gödel calculus for linear temporal logic
-
- Conference Paper
- P1
- open access
Time and Godel : fuzzy temporal reasoning in PSPACE
-
- Journal Article
- A1
- open access
Difference–restriction algebras of partial functions with operators : discrete duality and completion
-
- Journal Article
- A1
- open access
Difference–restriction algebras of partial functions : axiomatisations and representations
-
Temporal logic of Minkowski spacetime
-
A categorical duality for algebras of partial functions
-
Free Kleene algebras with domain
-
The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable
-
- Journal Article
- A1
- open access
Algebras of multiplace functions for signatures containing antidomain