Overview
Background
I am a Senior Lecturer in Logic (continuing position) at the University of Queensland (Australia). Before this, I was a postdoc in mathematical logic in the Department of Knowledge-Based Mathematical Systems at Johannes Kepler University Linz (Austria) on an FWF project on residuated structures. Overlapping with this, I also worked on a GACR project on predicate graded logics in computer science. I received my PhD from the University of Otago (New Zealand) in 2017. From 2022-2025, my research is supported by an ARC Discovery Early Career Researcher Award (DE220100544). There was a workshop to kick off the project in 10-12 November 2022. I serve as an editor for Archive for Mathematical Logic and Journal of Multiple-Valued Logic and Soft Computing.
Availability
- Dr Guillermo Badia is:
- Available for supervision
- Media expert
Fields of research
Research interests
-
Many-valued logics and related algebras
fuzzy logics, residuated lattices, model theory of fuzzy 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
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
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
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
Featured
2021
Journal Article
A 0-1 law in mathematical fuzzy logic
Badia, Guillermo and Noguera, Carles (2021). A 0-1 law in mathematical fuzzy logic. IEEE Transactions on Fuzzy Systems, 30 (9), 1-1. doi: 10.1109/TFUZZ.2021.3131200
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
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.
2024
Other Outputs
A modular bisimulation characterisation for fragments of hybrid logic
Badia, Guillermo, Gaina, Daniel, Knapp, Alexander, Kowalski, Tomasz and Wirsing, Martin (2024). A modular bisimulation characterisation for fragments of hybrid logic.
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
First-order friendliness
Badia, Guillermo and Makinson, David (2023). First-order friendliness. Review of Symbolic Logic, 1-13. doi: 10.1017/S175502032300014X
2023
Journal Article
Asymptotic truth-value laws in many-valued logics
Badia, Guillermo, Caicedo, Xavier and Noguera, Carles (2023). Asymptotic truth-value laws in many-valued logics.
2022
Journal Article
Craig Interpolation fails in Bi-Intuitionistic Predicate Logic
Olkhovikov, Grigory and Badia, Guillermo (2022). Craig Interpolation fails in Bi-Intuitionistic Predicate Logic. Review of Symbolic Logic, 17 (2) PII S1755020322000296, 1-23. doi: 10.1017/S1755020322000296
2022
Other Outputs
New foundations of reasoning via real-valued first-order logics
Badia, Guillermo, Fagin, Ronald and Noguera, Carles (2022). New foundations of reasoning via real-valued first-order logics.
2022
Journal Article
Paraconsistent metatheory: new proofs with old tools
Badia, Guillermo, Weber, Zach and Girard, Patrick (2022). Paraconsistent metatheory: new proofs with old tools. Journal of Philosophical Logic, 51 (4), 825-856. doi: 10.1007/s10992-022-09651-x
2022
Conference Publication
Robinson consistency in many-sorted hybrid first-order logics
Gaina, Daniel, Badia, Guillermo and Kowalski, Tomasz (2022). Robinson consistency in many-sorted hybrid first-order logics. 2022 Advances in Modal Logic (AiML), Rennes, France, 22-25 August 2022. London, United Kingdom: College Publications.
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: