| Time and Gödel: Fuzzy temporal reasoning in PSPACE JP Aguilera, M Diéguez, D Fernández-Duque, B McLean Workshop on Logic, Language, Information, and Computation (WoLLIC) 28, 18-35, 2022 | 13 | 2022 |
| Complete representation by partial functions for composition, intersection and anti-domain B McLean Journal of Logic and Computation 27 (4), 1143-1156, 2017 | 13 | 2017 |
| The finite representation property for composition, intersection, domain and range B McLean, S Mikulás International Journal of Algebra and Computation 26 (6), 1199-1216, 2016 | 10* | 2016 |
| Disjoint-union partial algebras B McLean, R Hirsch Logical Methods in Computer Science 13 (2), 1-31, 2017 | 8* | 2017 |
| Difference–restriction algebras of partial functions: axiomatisations and representations C Borlido, B McLean Algebra Universalis 83 (3), 24, 2022 | 6 | 2022 |
| Algebras of Partial Functions B McLean University College London, 2018 | 6 | 2018 |
| A Gödel Calculus for Linear Temporal Logic JP Aguilera, M Diéguez, D Fernández-Duque, B McLean Principles of Knowledge Representation and Reasoning (KR) 19, 2-11, 2022 | 5 | 2022 |
| Difference–restriction algebras of partial functions with operators: discrete duality and completion C Borlido, B McLean Journal of Algebra 604, 760-789, 2022 | 4 | 2022 |
| Free Kleene algebras with domain B McLean Journal of Logical and Algebraic Methods in Programming 117, 100606, 2020 | 4 | 2020 |
| Algebras of multiplace functions for signatures containing antidomain B McLean Algebra Universalis 78, 215-248, 2017 | 4 | 2017 |
| A categorical duality for algebras of partial functions B McLean Journal of Pure and Applied Algebra 225 (11), 106755, 2021 | 3 | 2021 |
| The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable R Hirsch, B McLean Advances in Modal Logic 12, 347-366, 2018 | 3 | 2018 |
| Preservation theorems for Tarski's relation algebra B Bogaerts, B Cate, B McLean, JV Bussche arXiv preprint arXiv:2305.04656, 2023 | 1 | 2023 |
| A family of decidable bi-intuitionistic modal logics D Fernández-Duque, B McLean, L Zenger Proceedings of the Twentieth International Conference on Principles of …, 2023 | 1 | 2023 |
| Constructive S4 modal logics with the finite birelational frame property P Balbiani, M Diéguez, D Fernández-Duque, B McLean arXiv preprint arXiv:2403.00201, 2024 | | 2024 |
| Complete representation by partial functions for signatures containing antidomain restriction B McLean arXiv preprint arXiv:2307.09620, 2023 | | 2023 |
| Gödel–Dummett linear temporal logic JP Aguilera, M Diéguez, D Fernández-Duque, B McLean arXiv preprint arXiv:2306.15805, 2023 | | 2023 |
| EXPTIME-hardness of higher-dimensional Minkowski spacetime R Hirsch, B McLean Advances in Modal Logic 14, 491–506, 2022 | | 2022 |
| Temporal logic of Minkowski spacetime R Hirsch, B McLean Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of …, 2022 | | 2022 |
David Fernández-DuqueProfessor of Philosophy, University of BarcelonaVerified email at UGent.be
