Overview
Background
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. 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.
Availability
- Dr Guillermo Badia is:
- Available for supervision
- Media expert
Fields of research
Qualifications
- Doctor of Philosophy, University of Otago
Research interests
-
Logic in Computer Science
-
Semiring-based Logics and Models of Computation
-
Modal, Intuitionistic and other Non-classical Logics
Works
Search Professor Guillermo Badia’s works on UQ eSpace
Featured
2025
Journal Article
New foundations of reasoning via real-valued first-order logics
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. doi: 10.1017/bsl.2024.56
Featured
2025
Journal Article
Asymptotic truth-value laws in many-valued logics
Badia, Guillermo, Caicedo, Xavier and Noguera, Carles (2025). Asymptotic truth-value laws in many-valued logics. The Journal of Symbolic Logic, 1-23. doi: 10.1017/jsl.2024.46
Featured
2025
Journal Article
A modular bisimulation characterisation for fragments of hybrid logic
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. doi: 10.1017/bsl.2025.9
Featured
2023
Journal Article
Frame definability in finitely-valued modal logics
Badia, Guillermo, Caicedo, Xavier and Noguera, Carles (2023). Frame definability in finitely-valued modal logics. Annals of Pure and Applied Logic, 174 (7) 103273, 103273. doi: 10.1016/j.apal.2023.103273
Featured
2023
Journal Article
Maximality of logic without identity
Badia, Guillermo, Caicedo, Xavier and Noguera, Carles (2023). Maximality of logic without identity. The Journal of Symbolic Logic, 89 (1) PII S0022481223000026, 1-16. doi: 10.1017/jsl.2023.2
2025
Journal Article
Hybrid-dynamic Ehrenfeucht-Fraïssé games
Badia, Guillermo, Gaina, Daniel, Knapp, Alexander, Kowalski, Tomasz and Wirsing, Martin (2025). Hybrid-dynamic Ehrenfeucht-Fraïssé games. ACM Transactions on Computational Logic, 26 (4) 22, 1-25. doi: 10.1145/3750046
2025
Other Outputs
Fagin's theorem for semiring Turing machines
Badia, Guillermo, Droste, Manfred, Eiter, Thomas, Kiesel, Rafael, Noguera, Carles and Paul, Erik (2025). Fagin's theorem for semiring Turing machines. doi: 10.48550/arXiv.2507.18375
2025
Conference Publication
Generating and counting finite FL<sub>ew</sub>-chains
Badia, Guillermo, Monego, Riccardo, Noguera, Carles, Paparella, Alberto and Sciavicco, Guido (2025). Generating and counting finite FLew-chains. IEEE. doi: 10.1109/fuzz62266.2025.11152214
2025
Conference Publication
Definable classes of models and frames in bi-intuitionistic logic
Badia, Guillermo, Kowalski, Tomasz and Olkhovikov, Grigory (2025). Definable classes of models and frames in bi-intuitionistic logic. 2nd Third Workshop, Edmonton, Canada, 13-14 May 2024. London, United Kingdom: College Publications.
2025
Other Outputs
Codd's Theorem for Databases over Semirings
Badia, Guillermo, Kolaitis, Phokion G. and Noguera, Carles (2025). Codd's Theorem for Databases over Semirings.
2025
Book
What is mathematical logic?
Badia, Guillermo, Crossley, John, Stillwell, John, Ash, Christopher J., Brickhill, Christopher J. and Williams, Neil H. (2025). What is mathematical logic?. 2nd ed. Oxford, United Kingdom: Oxford University Press.
2025
Conference Publication
Many-expert decision trees
Badia, Guillermo, Noguera, Carles, Paparella, Alberto and Sciavicco, Guido (2025). Many-expert decision trees. 6th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, Bolzano, Italy, 28-29 November 2024. Aachen, Germany: Technical University of Aachen.
2024
Journal Article
First-order friendliness
Badia, Guillermo and Makinson, David (2024). First-order friendliness. Review of Symbolic Logic, 17 (4), 1055-1069. doi: 10.1017/S175502032300014X
2024
Journal Article
A parametrised axiomatization for a large number of restricted second-order logics
Badia, Guillermo and Bell, John Lane (2024). A parametrised axiomatization for a large number of restricted second-order logics. Journal of Logic and Computation, 34 (7), 1295-1304. doi: 10.1093/logcom/exad050
2024
Conference Publication
AUSTRALASIAN LOGIC COLLOQUIUM CO-SPONSORED by the ASSOCIATION for SYMBOLIC LOGIC Brisbane, Australia 6-8 November 2023
Badia, Guillermo and Rubin, Sasha (2024). AUSTRALASIAN LOGIC COLLOQUIUM CO-SPONSORED by the ASSOCIATION for SYMBOLIC LOGIC Brisbane, Australia 6-8 November 2023. Cambridge University Press. doi: 10.1017/bsl.2024.44
2024
Journal Article
Relevant Consequence Relations: An Invitation
Badia, Guillermo, Behounek, Libor, Cintula, Petr and Tedder, Andrew (2024). Relevant Consequence Relations: An Invitation. The Review of Symbolic Logic, 17 (3) PII S1755020323000205, 762-792. doi: 10.1017/s1755020323000205
2024
Conference Publication
Logical characterizations of weighted complexity classes
Badia, Guillermo, Droste, Manfred, Noguera, Carles and Paul, Erik (2024). Logical characterizations of weighted complexity classes. Mathematical Foundations of Computer Science (MFCS 2024), Bratislava, Slovakia, 26-30 August 2024. Schloss Dagstuhl, Germany: Leibniz Center for Informatics. doi: 10.4230/LIPIcs.MFCS.2024.14
2024
Other Outputs
Logical Characterizations of Weighted Complexity Classes
Badia, Guillermo, Droste, Manfred, Noguera, Carles and Paul, Erik (2024). Logical Characterizations of Weighted Complexity Classes.
2024
Other Outputs
Hybrid-Dynamic Ehrenfeucht-Fraïssé Games
Badia, Guillermo, Gaina, Daniel, Knapp, Alexander, Kowalski, Tomasz and Wirsing, Martin (2024). Hybrid-Dynamic Ehrenfeucht-Fraïssé Games. doi: 10.48550/arXiv.2406.02094
2024
Conference Publication
Fitting's style many-valued interval temporal logic tableau system: theory and implementation
Badia, Guillermo, Noguera, Carles, Paparella, Alberto, Sciavicco, Guido and Stan, Eduard I. (2024). Fitting's style many-valued interval temporal logic tableau system: theory and implementation. 31st International Symposium on Temporal Representation and Reasoning (TIME 2024), Montpellier, France, 28–30 October 2024. Wadern, Germany: Schloss Dagstuhl. doi: 10.4230/LIPIcs.TIME.2024.7
Funding
Past funding
Supervision
Availability
- Dr Guillermo Badia is:
- Available for supervision
Before you email them, read our advice on how to contact a supervisor.
Supervision history
Current supervision
-
Doctor Philosophy
Model-theoretic aspects of infinitary modal logics
Principal Advisor
-
Doctor Philosophy
Complexity and definability in many-valued finite model theory
Principal Advisor
-
Doctor Philosophy
Algebraic Properties of Bi-intuitionistic Equivalence
Principal Advisor
Completed supervision
-
2023
Doctor Philosophy
A Naturalistic Framework for Metaphysics
Associate Advisor
Other advisors: Associate Professor Joel Katzav
Media
Enquiries
Contact Dr Guillermo Badia directly for media enquiries about:
- logic
- mathematical logic
- philosophy of mathematics
- truth
Need help?
For help with finding experts, story ideas and media enquiries, contact our Media team: