Academic Bibliography

Search 200 years of publications by Ghent University researchers.

dr. Brett McLean

Faculty of Sciences > Department of Mathematics: Analysis, Logic and Discrete Mathematics

ORCID iD: 0000-0003-2368-8357

Add to list
A family of decidable bi-intuitionistic modal logics

David Fernández-Duque, Brett McLean (UGent) and Lukas Zenger

(2023) Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning. p.262-271
Add to list
- Conference Paper
- C1
- open access
EXPTIME-hardness of higher-dimensional Minkowski spacetime

Robin Hirsch and Brett McLean (UGent)

(2022) Advances in modal logic 2022. 14. p.491-506
Add to list
- Conference Paper
- C1
- open access
A Gödel calculus for linear temporal logic

J. P. Aguilera (UGent) , Martín Diéguez, David Fernández-Duque (UGent) and Brett McLean (UGent)

(2022) Principles of Knowledge Representation and Reasoning, 19th International conference, Proceedings. p.2-11
Add to list
- Conference Paper
- P1
- open access
Time and Godel : fuzzy temporal reasoning in PSPACE

J. P. Aguilera (UGent) , Martin Dieguez, David Fernández-Duque (UGent) and Brett McLean (UGent)

(2022) LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2022. In Lecture Notes in Computer Science 13468. p.18-35
Add to list
- Journal Article
- A1
- open access
Difference–restriction algebras of partial functions with operators : discrete duality and completion

Célia Borlido and Brett McLean (UGent)

(2022) JOURNAL OF ALGEBRA. 604. p.760-789
Add to list
- Journal Article
- A1
- open access
Difference–restriction algebras of partial functions : axiomatisations and representations

Célia Borlido and Brett McLean (UGent)

(2022) ALGEBRA UNIVERSALIS. 83(3).
Add to list
- Book Chapter
Temporal logic of Minkowski spacetime

Robin Hirsch and Brett McLean (UGent)

(2022) Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs. In Outstanding Contributions to Logic p.389-409
Add to list
- Journal Article
- A1
A categorical duality for algebras of partial functions

Brett McLean (UGent)

(2021) JOURNAL OF PURE AND APPLIED ALGEBRA. 225(11).
Add to list
Free Kleene algebras with domain

Brett McLean (UGent)

(2020) JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING. 117.
Add to list
The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable

Robin Hirsch and Brett McLean (UGent)

(2018) Advances in Modal Logic. 12. p.347-366

1
2

Next →