Instellingen beheren
MENU
Over deze site
In English
Home
Onderzoekers
Projecten
Organisaties
Publicaties
Infrastructuur
Contact
Research Explorer
Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.
Onderzoeker
Brett McLean
Profiel
Projecten
Publicaties
Activiteiten
Prijzen & Erkenningen
18
Resultaten
2025
Gödel–Dummett linear temporal logic
Juan Pablo Aguilera
Martín Diéguez
David Fernández-Duque
Brett McLean
U
Artikel in een tijdschrift
in
Artificial Intelligence
2025
2024
A Sound and Complete Axiomatisation for Intuitionistic Linear Temporal Logic
David Fernández-Duque
Brett McLean
Lukas Matthias Zenger
U
Conferentie
2024
Complete representation by partial functions for signatures containing antidomain restriction
Brett McLean
U
Artikel in een tijdschrift
in
International Journal of Algebra and Computation
2024
Preservation theorems for Tarski's relation algebra
Bart Bogaerts
Balder ten Cate
Brett McLean
Jan Van den Bussche
U
Artikel in een tijdschrift
in
Logical Methods in Computer Science
2024
2023
A family of decidable bi-intuitionistic modal logics
David Fernández-Duque
Brett McLean
Lukas Zenger
C1
Conferentie
2023
2022
A Gödel calculus for linear temporal logic
J. P. Aguilera
Martín Diéguez
David Fernández-Duque
Brett McLean
C1
Conferentie
2022
Difference–restriction algebras of partial functions : axiomatisations and representations
Célia Borlido
Brett McLean
A1
Artikel in een tijdschrift
in
ALGEBRA UNIVERSALIS
2022
Difference–restriction algebras of partial functions with operators : discrete duality and completion
Célia Borlido
Brett McLean
A1
Artikel in een tijdschrift
in
JOURNAL OF ALGEBRA
2022
EXPTIME-hardness of higher-dimensional Minkowski spacetime
Robin Hirsch
Brett McLean
C1
Conferentie
2022
Temporal logic of Minkowski spacetime
Robin Hirsch
Brett McLean
Hoofdstuk in een boek
in
Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
2022
Time and Godel : fuzzy temporal reasoning in PSPACE
J. P. Aguilera
Martin Dieguez
David Fernández-Duque
Brett McLean
P1
Conferentie
2022
2021
A categorical duality for algebras of partial functions
Brett McLean
A1
Artikel in een tijdschrift
in
JOURNAL OF PURE AND APPLIED ALGEBRA
2021
2020
Free Kleene algebras with domain
Brett McLean
A1
Artikel in een tijdschrift
in
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
2020
2018
The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable
Robin Hirsch
Brett McLean
C1
Conferentie
2018
2017
Algebras of multiplace functions for signatures containing antidomain
Brett McLean
A1
Artikel in een tijdschrift
in
ALGEBRA UNIVERSALIS
2017
Complete representation by partial functions for composition, intersection and anti-domain
Brett McLean
A1
Artikel in een tijdschrift
in
JOURNAL OF LOGIC AND COMPUTATION
2017
Disjoint-union partial algebras
Robin Hirsch
Brett McLean
A1
Artikel in een tijdschrift
in
LOGICAL METHODS IN COMPUTER SCIENCE
2017
2016
The finite representation property for composition, intersection, domain and range
Brett McLean
Szabolcs Mikulas
A1
Artikel in een tijdschrift
in
INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION
2016