Guillermo Badia

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 Chair of the Committee on Logic in Australasia of the Association for Symbolic Logic. In the past, I served as President of the Australasian Association for Logic (2021-2025) and Chair of the Undergraduate Committee of the Australasian Association of Philosophy (2022-2025).

RESEARCH INTERESTS: Logic in Computer Science. Semiring-based Logics and Models of Computation. Modal, Intuitionistic and other Non-classical Logics.

SUPERVISION: For students looking to pursue a PhD in Logic at UQ with me, I suggest looking at the Graduate School Scholarships and the typical procedure.

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.

According to the Mathematics Genealogy Project, I am one of the many academic descendants of G. H. Hardy.

Jointly with John N. Crossley and John Stillwell, I have written a book entitled What is Mathematical Logic?, 2ed., published by Oxford University Press in 2025.

The website of the book to order is here. (Use the promotion code AUFLY30 for a 30% discount).

The tree on the cover is an Ilawara Flame Tree. A similar tree was planted at Monash University in memory of Chris Ash, one of the co-authors of the book.