Dr Guillermo Badia
Senior Lecturer in Logic, HDR Oral Chair, Seminar Coordinator
07 33 656402
Michie Building (9) Room 526
Researcher Interests
Many-valued logics and related algebras: semirings, residuated lattices, model theory of many-valued predicate logics
Computational logic: modal logic, hybrid logic, weighted logic
Substructural logics: intuitionistic logic, relevant logic, bi-intuitionistic logic
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, Caicedo, Xavier, and Noguera, Carles (2023). Maximality of logic without identity. The Journal of Symbolic Logic 89 (1) PII S0022481223000026 1-16. https://doi.org/10.1017/jsl.2023.2
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 from 2026, I will be Chair of the Committee on Logic in Australasia of the Association for Symbolic Logic.