Guillermo Badia

I am a Senior Lecturer in Logic in the School of Historical and Philosophical Inquiry at The University of Queensland, Australia. I serve on the editorial boards of Archive for Mathematical Logic and Journal of Multiple-Valued Logic and Soft Computing. I am also a member of the Executive of the Australasian Association of Philosophy, and Chair of the Committee on Logic in Australasia of the Association for Symbolic Logic. In the past, I served as President of the Australasian Association for Logic (2021-2025) and Chair of the Undergraduate Committee of the Australasian Association of Philosophy (2022-2025). Jointly with John Crossley and John Stillwell, I have written a book entitled What is Mathematical Logic? (2ed.) published by Oxford University Press in 2025. Logic in Computer Science, Semiring-based Logics and Models of Computation, Modal, Intuitionistic and other Non-classical Logics

[2025] A modular bisimulation characterisation for fragments of hybrid logic. The Bulletin of Symbolic Logic, 31 (4), 590-618. doi: 10.1017/bsl.2025.9 [2025] Codd's theorem for databases over semirings. Proceedings of the ACM on Management of Data, 3 (5) 27, 1-26. doi: 10.1145/3767713 [2025] New foundations of reasoning via real-valued first-order logics. The Bulletin of Symbolic Logic, 31 (2), 319-349. doi: 10.1017/bsl.2024.56 [2025] Asymptotic truth-value laws in many-valued logics. The Journal of Symbolic Logic, 90 (4), 1-23. doi: 10.1017/jsl.2024.46 [2023] Maximality of logic without identity. The Journal of Symbolic Logic, 89 (1) PII S0022481223000026, 1-16. doi: 10.1017/jsl.2023.2 [2026] Descriptive complexity and weighted Turing machines. Information and Computation, 310 105446, 1-1