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
- Journal Article
- A1
- open access
Gödel–Dummett linear temporal logic

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

(2025) ARTIFICIAL INTELLIGENCE. 338.
Add to list
- Journal Article
- A1
- open access
Preservation theorems for Tarski's relation algebra

Bart Bogaerts, Balder ten Cate, Brett McLean (UGent) and Jan Van den Bussche

(2024) LOGICAL METHODS IN COMPUTER SCIENCE. 20(3). p.20:1-20:17
Add to list
- Journal Article
- A1
- open access
Complete representation by partial functions for signatures containing antidomain restriction

Brett McLean (UGent)

(2024) INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION. 34(08). p.1131-1158
Add to list
A sound and complete axiomatisation for intuitionistic linear temporal logic

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

(2024) Principles of Knowledge Representation and Reasoning, 21st International conference, Proceedings. p.350-360
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).

1
2

Next →