Dr Guillermo Badia
Senior Lecturer in Logic, HDR Oral Chair, Seminar Coordinator
07 33 656402
Michie Building (9) Room 526
Researcher Interests
1. Logic in Computer Science.
2. Semiring-based Logics and Models of Computation.
3. Modal, Intuitionistic and other Non-classical Logics.
Qualifications
- Doctor of Philosophy, University of Otago
Publications
- Badia, Guillermo, Fagin, Ronald, and Noguera, Carles (2025). New foundations of reasoning via real-valued first-order logics. The Bulletin of Symbolic Logic 1-26. https://doi.org/10.1017/bsl.2024.56
- Badia, Guillermo, Caicedo, Xavier, and Noguera, Carles (2025). Asymptotic truth-value laws in many-valued logics. The Journal of Symbolic Logic 1-23. https://doi.org/10.1017/jsl.2024.46
- Badia, Guillermo, Gaina, Daniel, Knapp, Alexander, Kowalski, Tomasz, and Wirsing, Martin (2025). A modular bisimulation characterisation for fragments of hybrid logic. The Bulletin of Symbolic Logic 1-24. https://doi.org/10.1017/bsl.2025.9
- Badia, Guillermo, Kolaitis, Phokion, G., and Noguera, Carles (2025). Codd's theorem for databases over semirings. Proceedings of the ACM on Management of Data 3 (5) 27 1-26. https://doi.org/10.1145/3767713
Researcher biography
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 I am Chair of the Committee on Logic in Australasia of the Association for Symbolic Logic.