Skip to menu Skip to content Skip to footer
Dr Guillermo Badia
Dr

Guillermo Badia

Email: 
Phone: 
+61 7 336 56402

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

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

51 works between 2013 and 2025

1 - 20 of 51 works

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. doi: 10.1017/bsl.2024.56

New foundations of reasoning via real-valued first-order logics

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

Asymptotic truth-value laws in many-valued logics

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

A modular bisimulation characterisation for fragments of hybrid logic

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

Frame definability in finitely-valued modal logics

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

Maximality of logic without identity

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.

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.

What is mathematical logic?

2025

Conference Publication

Many-Expert Decision Trees

Badia, Guillermo, Noguera, Carles, Paparella, Alberto and Sciavicco, Guido (2025). Many-Expert Decision Trees. CEUR-WS.

Many-Expert Decision Trees

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

First-order friendliness

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

A parametrised axiomatization for a large number of restricted second-order logics

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

Relevant Consequence Relations: An Invitation

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

AUSTRALASIAN LOGIC COLLOQUIUM CO-SPONSORED by the ASSOCIATION for SYMBOLIC LOGIC Brisbane, Australia 6-8 November 2023

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

Logical characterizations of weighted complexity classes

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.

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

Fitting's style many-valued interval temporal logic tableau system: theory and implementation

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.

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

A Lindström theorem for intuitionistic first-order logic

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

Editorial: Special issue in honour of John Newsome Crossley

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

Introduction to the special issue ‘Valerie Plumwood’s contributions to Logic’

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

Omitting Types Theorem in hybrid-dynamic first-order logic with rigid symbols

Funding

Current funding

  • 2022 - 2025
    Fuzzy logics for graded reasoning in applied contexts
    ARC Discovery Early Career Researcher Award
    Open grant
  • 2021 - 2025
    MOSAIC-Modalities in Substructural Logics: Theory, Methods and Applications (EU H2020 MSCA RISE)
    Spanish National Research Council (Agencia Estatal Consejo Superior de Investigaciones Científicas)
    Open grant

Past funding

  • 2020 - 2021
    Logics for graded reasoning in applied contexts
    UQ Early Career Researcher
    Open grant

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

    Algebraic Properties of Bi-intuitionistic Equivalence

    Principal Advisor

  • Doctor Philosophy

    Complexity and definability in many-valued finite model theory

    Principal Advisor

  • Doctor Philosophy

    Model-theoretic aspects of infinitary modal logics

    Principal Advisor

Completed supervision

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:

communications@uq.edu.au