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
2018
Journal Article
On Sahlqvist formulas in relevant logic
Badia, Guillermo (2018). On Sahlqvist formulas in relevant logic. Journal of Philosophical Logic, 47 (4), 673-691. doi: 10.1007/s10992-017-9445-y
2018
Journal Article
On elimination of quantifiers in some non-classical mathematical theories
Badia, Guillermo and Tedder, Andrew (2018). On elimination of quantifiers in some non-classical mathematical theories. Mathematical Logic Quarterly, 64 (3), 140-154. doi: 10.1002/malq.201600078
2018
Journal Article
Currying omnipotence (a reply to Beall and Cotnoir)
Tedder, Andrew and Badia, Guillermo (2018). Currying omnipotence (a reply to Beall and Cotnoir). Thought: A Journal of Philosophy, 7 (2), 119-121. doi: 10.1002/tht3.376
2018
Journal Article
On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions
Badia, Guillermo and Marcos, Joao (2018). On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions. Algebra Universalis, 79 (2) 41, 41. doi: 10.1007/s00012-018-0522-z
2018
Journal Article
Variable sharing in substructural logics: an algebraic characterization
Badia, Guillermo (2018). Variable sharing in substructural logics: an algebraic characterization. Bulletin of the Section of Logic, 47 (2), 107-115. doi: 10.18778/0138-0680.47.2.03
2018
Conference Publication
Saturated models in mathematical fuzzy logic
Badia, Guillermo and Noguera, Carles (2018). Saturated models in mathematical fuzzy logic. 2018 IEEE 48th International Symposium on Multiple-Valued Logic (ISMVL), Linz, Austria, 16-18 May 2018. Piscataway, NJ United States: Institute of Electrical and Electronics Engineers. doi: 10.1109/ismvl.2018.00034
2017
Journal Article
Infinitary propositional relevant languages with absurdity
Badia, Guillermo (2017). Infinitary propositional relevant languages with absurdity. Review of Symbolic Logic, 10 (4), 663-681. doi: 10.1017/S1755020317000132
2017
Journal Article
Model definability in relevant logic
Badia, Guillermo (2017). Model definability in relevant logic. The IfCoLog Journal of Logics and their Applications, 4 (3), 623-645.
2017
Journal Article
A remark on Maksimova's variable separation property in super-bi-intuitionistic logics
Badia, Guillermo (2017). A remark on Maksimova's variable separation property in super-bi-intuitionistic logics. Australasian Journal of Logic, 14 (1), 46-53. doi: 10.26686/ajl.v14i1.4027
2016
Journal Article
Bi-simulating in bi-intuitionistic logic
Badia, Guillermo (2016). Bi-simulating in bi-intuitionistic logic. Studia Logica, 104 (5), 1037-1050. doi: 10.1007/s11225-016-9664-1
2016
Journal Article
A Lindström-style theorem for finitary propositional weak entailment languages with absurdity
Badia, Guillermo (2016). A Lindström-style theorem for finitary propositional weak entailment languages with absurdity. Logic Journal of the IGPL, 24 (2), 115-137. doi: 10.1093/jigpal/jzv054
2016
Journal Article
The relevant fragment of first order logic
Badia, Guillermo (2016). The relevant fragment of first order logic. Review of Symbolic Logic, 9 (1), 143-166. doi: 10.1017/S1755020315000313
2016
Journal Article
What is an inconsistent truth table?
Weber, Zach, Badia, Guillermo and Girard, Patrick (2016). What is an inconsistent truth table?. Australasian Journal of Philosophy, 94 (3), 533-548. doi: 10.1080/00048402.2015.1093010
2013
Journal Article
Possible worlds and paradoxes Mundos posibles y paradojas
Badía, Guillermo (2013). Possible worlds and paradoxes Mundos posibles y paradojas. Arete, 25 (2), 219-229.
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: