Overview
Background
I am a Senior Lecturer in Logic in the School of Historical and Philosophical Inquiry at the University of Queensland, Australia. From 2022-2025, my work was supported by the Discovery Early Career Researcher Award DE220100544 (383,975 AUD in funds) given by the Australian Research Council. I serve on the editorial boards of Archive for Mathematical Logic and Journal of Multiple-Valued Logic and Soft Computing. According to the Mathematics Genealogy Project, I am one of the many academic descendants of G. H. Hardy through the path G. H. Hardy - R. Rado - K. Gravett - John N. Crossley - John L. Bell - G. Priest - Z. Weber - me. Jointly with John Crossley and John Stillwell, I have written a book entitled What is Mathematical Logic? (2ed.) to be published by Oxford University Press.
Availability
- Dr Guillermo Badia is:
- Available for supervision
- Media expert
Fields of research
Qualifications
- Doctor of Philosophy, University of Otago
Research interests
-
Many-valued logics and related algebras
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
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
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 and Stillwell, John (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. CEUR-WS.
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
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
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
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
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
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.
2023
Journal Article
A Lindström theorem for intuitionistic first-order logic
Olkhovikov, Grigory, Badia, Guillermo and Zoghifard, Reihane (2023). A Lindström theorem for intuitionistic first-order logic. Annals of Pure and Applied Logic, 174 (10) 103346, 103346. doi: 10.1016/j.apal.2023.103346
2023
Journal Article
Editorial: Special issue in honour of John Newsome Crossley
Badia, Guillermo (2023). Editorial: Special issue in honour of John Newsome Crossley. Interest Group in Pure and Applied Logics. Logic Journal, 31 (6), 1-5. doi: 10.1093/jigpal/jzad011
2023
Journal Article
Introduction to the special issue ‘Valerie Plumwood’s contributions to Logic’
Tedder, Andrew and Badia, Guillermo (2023). Introduction to the special issue ‘Valerie Plumwood’s contributions to Logic’. The Australasian Journal of Logic, 20 (2), 95-96. doi: 10.26686/ajl.v29i2.8281
2023
Journal Article
Omitting Types Theorem in hybrid-dynamic first-order logic with rigid symbols
Gaina, Daniel, Badia, Guillermo and Kowalski, Tomasz (2023). Omitting Types Theorem in hybrid-dynamic first-order logic with rigid symbols. Annals of Pure and Applied Logic, 174 (3) 103212, 1-41. doi: 10.1016/j.apal.2022.103212
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
Complexity and definability in many-valued finite model theory
Principal Advisor
-
Doctor Philosophy
Model-theoretic aspects of infinitary modal logics
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: