CV

 Guillermo Badia

Curriculum Vitae

June 2024

 

 

         Contact Information

E-mail: guillebadia89@gmail.com (private); g.badia@uq.edu.au (official)

Mobile: +61433652517

Office: +61733653321

Postal Address:

School of Historical and Philosophical Inquiry

Room 526, Michie Building,

The University of Queensland,

St Lucia QLD 4072, AUSTRALIA


Research Interests


Mathematical Fuzzy Logic and particularly model theory of many-valued predicate logics. Intuitionistic and bi-intuitionistic logic. Relevant and paraconsistent logic. Equality-free first-order logic. Second-order Logic. Modal logic.

Positions

Lecturer (equivalent to US Assistant Professor), School of Historical and Philosophical  Inquiry, University  of Queensland, Brisbane, January 2019− ?

Postdoc on the FWF project New Perspectives on Residuated Posets (headed in Austria by Assoc. Prof. Thomas Vetterlein), Department of Knowledge-Based   Mathematical  Systems, Johannes Kepler University, Linz, January 2017 − December 2018.

Research Assistant (part-time) on the GACR project Predicate graded logics and their applications in computer science headed by Dr. Carles Noguera and Dr. Petr Cintula,  Institute of  Computer Science, Czech Academy of Sciences,  Prague, July 2017 − December 2017.


     Service 

Member of the Editorial Board  of Archive for Mathematical Logic (2024-?).

Member of the Editorial Board of the  Journal of Multiple-Valued Logic and Soft Computing  (2020− ?). 

Reviewer of grants for the Czech Science Foundation and the National Science Centre Poland.

Member of the Committee on Logic in Australasia, Association for Symbolic Logic, 2022-2025.

Convenor of the Undergraduate Committee of the Australasian Association of Philosophy  (2020−  ?).

Co-President (with Shawn Standefer in 2021 and Nick JJ Smith,  Shawn Standefer, Koji Tanaka and Zach Weber in 2022), Australasian Association for Logic, 2021-2022, 2022-2023.  

Organizer (with Shawn Standefer), Australasian Association for Logic 2021 Conference, June 23-25 2021, on Zoom.

Organizer (with Nick J J Smith, Shawn Standefer and Zach Weber), Southern Summer Logic Day (World Logic Day Event), January 14 2022, on Zoom.

Organizer, Crossley Festschrift Logic Colloquium, June 14-15 2022, on Zoom.

Organizer (with Nick JJ Smith,  Shawn Standefer, Koji Tanaka and Zach Weber), Australasian Association for Logic 2022 Conference, June 22-24 2022, on Zoom.

Organizer (with Carles Noguera and Lluis Godo), Workshop Finite Model-Theory and Many-Valued Logic: Challenges and Interactions, November 10-12 2022, on Zoom.

Organizer, Southern Summer Logic Day (World Logic Day Event), January 13 2023, on Zoom.

Organizer (with Sasha Rubin), Australasian Logic Colloquium 2023, November 6-8 2023, Hybrid (Zoom and University of Queensland, Australia). 

Organizer (with Nick JJ Smith,  Shawn Standefer, Koji Tanaka and Zach Weber), Australasian Association for Logic 2023 Conference, November 9-10 2023, Hybrid (Zoom and University of Queensland, Australia). 

PC member, WoLLIC 2024, 30th Workshop on Logic, Language, Information and Computation, June 10 to 13, 2024, Bern, Switzerland.

Organizer, Southern Summer Logic Day (World Logic Day Event), January 12 2024, on Zoom.

Co-organizer (with Manfred Droste, Phokion Kolaitis, and Carles Noguera), Dagstuhl Seminar "Semirings in Databases, Automata and Logic",  Schloss Dagstuhl, February 2025, Germany.

Local organizer, 2025 Australasian Association of Philosophy Conference, July 2025, University of Queensland, Brisbane, Australia.

Organizer (with Martin Wirsing), YuriFest 2025 (conference in honour of Yuri Gurevich), Ludwig Maximilian University, Munich, June 2025, Germany.

       Awards

Discovery Early Career Researcher Award, Project "Fuzzy logics for graded reasoning in applied contexts", Australian Research Council, 2022-2025.

Visiting Professor Fellowship (Junior Category), funded by the National Group for Algebraic and Geometric Structures, and their Applications (GNSAGA), Department of Mathematics, University of Siena, Italy (host: Dr Carles Noguera), February 2023.

University of Queensland Early Career Researcher Grant, School of Historical and Philosophical  Inquiry, University  of Queensland, 2019.

Visiting Researcher Fellowship, Department of Logic and Philosophy of Science, University of California Irvine, 2019.

Postdoctoral Fellowship of the Czech Academy of Sciences, Institute of  Information Theory and Automation, Czech Academy of Sciences, 2018 (declined).

Otago Postgraduate Scholarship, Department of Philosophy, University of Otago, 2014-2016.

Alan Musgrave Masters Scholarship, Department of Philosophy, University of Otago, 2013.

         

 Education

 PhD Philosophy -- University of Otago (New Zealand) 2013 - 2017 (degree awarded in May 2017)

          Thesis Topic: "The Languages of Relevant Logic: A Model-Theoretic Perspective", supervisors:  Assoc. Prof. Zach Weber, Dr. Patrick Girard

          External examiners: Prof. Katalin Bimbo, Prof. Ed Mares

  BA Philosophy -- University of Havana (Cuba) 2008 - 2013

 

Teaching Experience


   Kyushu University (Japan)


    University of Queensland (Australia)


     Johannes Kepler University (Austria)


    University of Otago (New Zealand)


         Edited journal special issues

  3. Badia, G. & Rubin, S. (202+), eds., Special issue on Australasian Logic Colloquium 2023, Journal of Logic and Computation, in progress. (Invited contributors include: Ronald Fagin, Yuri Gurevich, John Bell, David Makinson, Wilfrid Hodges, and Craig Smorynski)

  2. Badia, G. (202+), ed., Special issue in honour of John N. Crossley on the occassion of his 85th birthday, Logic Journal of the IGPL, to appear. (Invited contributors include: Anil Nerode, Wilfrid Hodges, John Bell, Rohit Parikh, Martin Wirsing, Johan van Benthem, Lloyd Humberstone, Yuri Gurevich, Craig Smorynski, Jouko Väänänen and  Rod Downey) [LINK]

  1. Badia, G. & Tedder, A. (2023), eds., Special issue on Valerie Plumwood's contributions to logic, Australasian Journal of Logic, Volume 20, Number 2, 2023. (Invited contributors include: Dominic Hyde and Ross Brady) [LINK]

         Books

3. Badia, G., Blass, A., Dershowitz, N., and Droste, M., eds., (202+) Fields of Logic and Computation IV: Essays Dedicated to Yuri Gurevich on the Occasion of His 85th Birthday, Lecture Notes in Computer Science, Springer (under contract).

2. Badia, G. (202+). What is mathematical logic? (Second Edition) (with Crossley, J. N. and Stillwell, J. C.), Oxford University Press (under contract; submission in January 2025).

1. Badia, G. (202+). Foundations of Bi-intuitionistic Logic: Basic Tools and Techniques (with Jalali, R.,  Kowalski, T. and Olkhovikov, G.), Springer (under contract; submission December 2024).

         Articles under submission (draft available on arXiv)

Badia, G., Fagin, R. and Noguera, C. New foundations of reasoning via first-order real valued logics, submitted.

Badia, G., Caicedo, X. and Noguera, C. Asymptotic truth-value laws in many-valued logics, submitted.

Badia, G., Gaina, D., Knapp, A., Kowalski, T. and Wirsing, M. A modular bisimulation characterisation for fragments of hybrid logic, submitted.

Badia, G., Gaina, D., Knapp, A., Kowalski, T. and Wirsing, M. Hybrid-Dynamic Ehrenfeucht-Fraïssé Games, submitted.

         Publications (peer-reviewed)

37. Badia, G. (202+).  Logical characterizations of weighted complexity classes (with Droste, M., Noguera, C. and Paul, E.), Mathematical Foundations of Computer Science (MFCS 2024), Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Volume 306, to appear.

36. Badia, G. (202+). A parametrised axiomatization for a large number of restricted second-order logics (with Bell, J. L.), Journal of Logic and Computation, to appear.

35. Badia, G. (202+). Relevant Consequence Relations: an invitation (with Behounek, L., Cintula P., and Tedder, A.), Review of Symbolic Logic, to appear.

34. Badia, G. (202+). First-order friendliness (with Makinson, D.), Review of Symbolic Logic, to appear.

33. Badia, G. (2024). Maximality of logic without identity (with Caicedo, X. and Noguera, C.), Journal of Symbolic Logic, 89 (1): 147-162.

32. Badia, G. (2024). Craig Interpolation fails in Bi-Intuitionistic Predicate Logic (with Olkhovikov, G.), Review of Symbolic Logic, 17(2): 611-633.

31. Badia, G. (2023). A Lindström Theorem for Intuitionistic First-Order Logic (with Olkhovikov, G. and Zoghifard, R.), Annals of Pure and Applied Logic, 174(10): 103346.

30. Badia, G. (2023). Frame definability in finitely-valued modal logics (with Caicedo, X. and Noguera, C.), Annals of Pure and Applied Logic, 174(7): 103273.

29. Badia, G. (2023). Omitting Types Theorem in hybrid-dynamic first-order logic with rigid symbols (with Gaina, D., and Kowalski, T.), Annals of Pure and Applied Logic, 174(3): 103212.

28. Badia, G. (2022). Robinson consistency in many-sorted hybrid first-order logics (with Gaina, D. and Kowalski, T.),  Advances in Modal Logic, Volume 14, David Fernández-Duque, Alessandra Palmigiano and Sophie Pinchinat, eds., College Publications, pp. 407-428.

27. Badia, G. (2022).  Axiomatization via translation: Hiz's warning for predicate logic (with Crossley, J. N., and Humberstone, L.), Logique et Analyse,  65 (257): 39-56.

26. Badia, G. (2022). Paraconsistent metatheory: new proofs with old tools (with Weber, Z. & Girard, P.). Journal of Philosophical Logic, 51: 825–856.

25. Badia, G. (2022). A 0-1 Law in Mathematical Fuzzy Logic (with  Noguera, C.). IEEE Transactions on Fuzzy Systems, 30 (9): 3833-3840.

24. Badia, G. (2022). Maximality of bi-intuitionistic propositional logic (with Olkhovikov, G.). Journal of Logic and Computation, 32(1): 1-31.

23. Badia, G. (2022). How Much Propositional Logic Suffices for Rosser’s Essential Undecidability Theorem? (with Cintula, P., Hájek, P. and Tedder, A.). Review of Symbolic Logic, 15 (2): 487-504.

22. Badia, G. (2022). Saturated models of first-order many-valued logics (with Noguera, C.). Logic Journal of the IGPL, 30 (1): 1-20.

21. Badia, G. (2021). Lindström theorems in graded model theory  (with Noguera, C.). Annals of Pure and Applied Logic, 172 (3): 102916.

20. Badia, G. (2021). A general omitting types theorem in mathematical fuzzy logic (with Noguera, C.). IEEE Transactions on Fuzzy Systems, 29 (6): 1386-1394.

19. Badia, G. (2020). A Lindström  Theorem in Many-Valued Modal Logic over a Finite MTL-chain (with Olkhovikov, G.), Fuzzy Sets and Systems, 388: 26-37.

18. Badia, G. (2020).  A Lindström theorem for intuitionistic propositional logic (with Olkhovikov, G.). Notre Dame Journal of Formal Logic,  61 (1):  11-30.

17.  Badia, G. (2019).  A substructural logic for inconsistent mathematics (with Weber, Z.). In Dialetheism and its applications, ed. A. Reiger and G. Young, Springer (Trends in logic), pp. 155-176. 

16. Badia, G. (2019). Syntactic characterizations of first-order structures in mathematical fuzzy logic (with Costa, V., Dellunde, P. and Noguera, C.), Soft Computing 23 (7): 2177-2186.

15. Badia, G. (2019).  Incompactness of the A1 fragment of basic second order propositional relevant logic.  Australasian Journal of Logic,  16 (1): 1-8.

14. Badia, G. (2018). Fraisse classes of graded relational structures (with Noguera, C.). Theoretical Computer Science, 737: 81–90.

13. Badia, G. (2018). Currying Omnipotence (A Reply to Beall and Cotnoir) (with Tedder, A.). Thought: A Journal of Philosophy, 7(2): 119-121.

12. Badia, G. (2018). Saturated Models in Mathematical Fuzzy Logic (with Noguera, C.).  Proceedings of the IEEE International  Symposium on Multiple-Valued Logic 2018,  IEEE Computer Society: 150-155.

11. Badia, G. (2018). On elimination of quantifiers in some non-classical mathematical theories (with Tedder, A.). Mathematical Logic Quarterly, 64 (3): 140-154.

10. Badia, G. (2018). Variable sharing in substructural logics: an algebraic characterization. Bulletin of the Section of Logic,  47(2):  107-115.

9. Badia, G. (2018). On Sahlqvist formulas in relevant logic. Journal of Philosophical Logic,  47(4): 673-691.

8. Badia, G. (2018). On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions (with  Marcos, J.). Algebra Universalis, 79: 41.

7. Badia, G. (2017). Infinitary relevant languages with absurdity. Review of Symbolic Logic, 10 (4): 663-681. 

6. Badia, G. (2017). Model definability in relevant logic.  IfCoLog Journal of Logics and their Applications, 4 (3): 623-646.

5. Badia, G. (2017). A remark on Maksimova's variable separation property in super-bi-intuitionistic logics. Australasian Journal of Logic, 14 (1): 46-53.

4. Badia, G. (2016). Bi-simulating in bi-intuitionistic logic. Studia Logica, 104 (5): 1037-1050.

3. Badia, G. (2016). A Lindström-style theorem for finitary weak entailment languages with absurdity. Logic Journal of the IGPL, 24 (2): 115-137.

2. Badia, G. (2016). The relevant fragment of first order logic. Review of Symbolic Logic,  9 (1): 143-166. 

1. Badia, G. (2016). What is an inconsistent truth table? (with Weber, Z. & Girard, P.). Australasian Journal of Philosophy, 94 (3): 533-548. 

 Talks


"Logic, Databases and Semirings" (invited), PLEXUS Workshop on Substructural and Non-classical Logics,  University of Turin, Turin, Italy, June 2024.


"A modular bisimulation-characterization theorem for fragments of hybrid logic" (Keynote), Cracow Logic Conference 69 and Trends in Logic 24, Jagiellonian University, Cracow, Poland, June 2024. 


"Definability of classes of frames and models in Bi-intuitionistic logic" (Invited), Second Third Workshop, University of Alberta, Edmonton,  Canada,  May 2024.


"Codd's theorem on semiring-annotated databases", General Algebra Seminar, La Trobe University, Melbourne, Australia, May 2024.


"A modular bisimulation-characterization theorem for fragments of hybrid logic", Logic Seminar, Mathematics Department, Technical University of Darmstad, Darmstad, Germany, February 2024. 


"A modular bisimulation-characterization theorem for fragments of hybrid logic", Research Seminar, Institute of Computer Science, University of Leipzig, Leipzig, Germany, January 2024. 


"Asymptotic truth-value laws in many-valued logic", 7th Australian Algebra Conference, Monash University, Melbourne, Australia, November 2023. 


"New foundations of reasoning via real-valued first-order logics", Research Seminar, Institute of Computer Science, University of Leipzig, Leipzig, Germany, July 2023. 


"Omitting Types Theorem in hybrid-dynamic first-order logic with rigid symbols", Research Seminar, Software and Computational Systems Lab, Department of Computer Science, Ludwig-Maximilians-Universität München (LMU Munich), Germany, June 2023.


"First-order friendliness", Logic Colloquium (ASL European Summer Meeting), Milan, Italy, June 2023.


"A parametrised axiomatization for a large number of restricted second-order logics", Research Seminar, Department of Mathematics, University of Siena, Siena, Italy, February 2023.


"First-order real-valued logics with multidimensional sentences", Researchers' Seminar of the Theory and Logic Group, Technical University of Vienna, Vienna, Austria, January 2023.


"A parametrised axiomatization for a large number of restricted second-order logics", Seminar in Applied Mathematical Logic, Institute of Computer Science, Prague, Czech Republic, January 2023.


"A parametrised axiomatization for a large number of restricted second-order logics", Research Seminar, University of Ostrava, Ostrava, Czech Republic, December 2022.


"New foundations of reasoning via real-valued first-order logics", Research Seminar, Monash Laboratory for the Foundations of Computing, Monash University, Melbourne, Australia, November 2022. 


"A parametrised axiomatization for a large number of restricted second-order logics", Logic and Metaphysics Workshop, CUNY, New York, USA, October 2022 (via Zoom).


"Australasian Association for Logic", short presentation at the  Logica Universalis Webinar, September 2022 (via Zoom).


”Axiomatization via translation: Hiz’s warning for predicate logic”, Logic & Epistemology Colloquia, Ruhr University Bochum, Bochum, Germany, July  2022.


"Frame definability in finitely-valued modal logics", Logic Colloquium 2022, Reykjavik, Iceland, June 2022  (via Zoom).


"Axiomatizing Inference From Partially True Formulas In Real-Valued First-Order Logics", Research Seminar, Software and Computational Systems Lab, Department of Computer Science, Ludwig-Maximilians-Universität München (LMU Munich), Germany, June 2022.


"New foundations of reasoning via real-valued first-order logics" (Keynote), 39th Linz Seminar on Fuzzy Set Theory: "Many-Valued Logic: theory and Applications",  Bildungszentrum St Magdalena, Linz, Austria, June 2022.


"Maximality of logic without identity", Research Seminar, Monash Laboratory for the Foundations of Computing, Monash University, Melbourne, Australia, March 2022 (via Zoom). 


"Frame definability in finitely-valued modal logics", La Trobe General Algebra Group, La Trobe University, Melbourne, Australia, February 2022  (via Zoom).


"Frame definability in finitely-valued modal logics", Logic and Metaphysics Workshop, CUNY, New York, USA, February 2022 (via Zoom).


"Omitting Types Theorem in hybrid-dynamic first-order logic with rigid symbols" (Invited Speaker), Workshop Model theory of non-classical logics: diversity and its invariants, Ruhr University Bochum, Bochum, Germany, November  2021.


"Maximality of logic without identity", Non-classical Modal and Predicate Logics  Conference 2021, Ruhr University Bochum, Bochum, Germany, November  2021.


"Maximality of logic without identity", La Trobe - Kyushu Joint Seminar on Mathematics for Industry, Kyushu University, Japan, October 2021 (via Zoom). 

"How Much Propositional Logic Suffices for Rosser’s Essential Undecidability Theorem?", Seminario de Lógica Algebraica, Universidad Nacional del Centro de la Provincia de Buenos Aires, Tandil, Argentina, May 2021 (via Zoom). 

"A Lindström theorem for predicate intuitionistic logic", Logic Supergroup,  United States of America, March 2021 (via Zoom). 

"0-1 Laws in Mathematical Fuzzy Logic",  Seminar in Applied Mathematical Logic, Institute of Computer Science, Prague, Czech Republic, February 2021 (via Zoom). 

"0-1 Laws in Mathematical Fuzzy Logic", C-ALPHA Logic Seminar, University of California Irvine, Irvine, United States of America, January 2021 (via Zoom). 

"New proofs with old tools in inconsistent metamathematics", Logic Seminar, University of Melbourne, Melbourne, Australia, August 2020 (via Zoom).

"Six maximality results for first-order logics based on finite MTL-chains", Iberoamerican Logic Seminar, Brazil/Argentina, June 2020 (via Zoom).

"How Much Propositional Logic Suffices for Rosser’s Essential Undecidability Theorem?", C-ALPHA Logic Seminar, University of California Irvine, Irvine, United States of America, May 2020 (via Zoom). 

"How do we fix mathematical language if the universe has too many objects?", Philosophy Seminar, University of Otago, Dunedin, New Zealand, March 2020.

"Six maximality results for first-order logics based on finite MTL-chains", Bochum Nonclassical Logic Workshop, Department of Philosophy I, Ruhr University Bochum, Bochum, Germany, February 2020.

"Ehrenfeucht-Fraisse methods in the model theory of L-topological spaces over finite MTL-chains", Seminar in Applied Mathematical Logic, Institute of Computer Science, Prague, Czech Republic, January 2020.

"How Much Propositional Logic Suffices for Rosser’s Essential Undecidability Theorem?", Logic Seminar, University of Melbourne, Melbourne, Australia, September 2019. 

"A Lindström theorem for propositional intuitionistic logic", Logic Seminar, MCMP, Munich, Germany, July 2019. 

"Improving a Categoricity Theorem of Vann McGee", Logica 2019, Hejnice, Czech Republic, June 2019.

"Why it is okay to be an absolutist about quantification in set theory", Philosophy Seminar, Monash University, Melbourne, March 2019.

"A Lindström theorem for propositional intuitionistic logic", Logic Seminar, University of Melbourne, Melbourne, Australia, February 2019. 

"Maximality of first-order logics based on finite MTL-chains", Seminar in Applied Mathematical Logic, Institute of Computer Science, Prague, Czech Republic, December 2018.

"Saturated Models in Mathematical Fuzzy Logic", IEEE ISMVL 2018, Linz, Austria, May 2018. 

"The age of a system of graded relations", ManyVal 2017, Toulouse, France, November 2017.

"A new logic for inconsistent mathematics", Workshop "Liars, Curries and Beyond", UNAM, Mexico City, Mexico, September 2017 (video).

"Many and few types in Abelian predicate logic", Workshop "The Philosophy of Contra-Cassical Logics", UNAM, Mexico City, Mexico, September 2017.

"Types and models in core fuzzy predicate logics", TACL 2017, Prague, Czech Republic, June 2017.

"Variable sharing in substructural logics: an algebraic characterization", Logica 2017, Hejnice Monastery, Czech Republic, June 2017.

"On some classes of structures axiomatizable by dual Horn formulas", 94th Workshop on General Algebra – AAA94, Novi Sad, Serbia, June 2017.

"Relevant topologies on Routley-Meyer structures as  coarsenings of topologies with clopen bases", Workshop "Non-classical solutions to the paradoxes", Munich Center for Mathematical Philosophy, Germany, February 26th 2017.

"A Lindström characterization of the intuitionistic topology on partial orders", Seminar on Universal Algebra, PřF UP v Olomouci, Czech Republic, February 21st 2017.

"Model definability in relevant logic", Third Workshop, University of Alberta, Department of Philosophy, Edmonton, Canada, May 17th 2016.

"Elementarity of classes of Routley-Meyer frames", Pukeko Logic Group, Dunedin, March 2016.

"Infinitary propositional relevant languages", Frontiers of Non-Classicality: Logic, Mathematics, and Philosophy, Auckland, Jan 26--29/2016.

"Bi-intuitionistic logic has Maksimova's variable separation property'', Otago Logic Group, July 2015.

"Is there a standard model of relevant arithmetic?'', Australasian Association of Philosophy, Sydney, Australia, July 2015.

"A Lindström theorem for relevant logic'', Australasian Association for Logic, Sydney, Australia, July 2015.

"Paraconsistent Metaphysics'', New Zealand Association of Philosophers, Christchurch, October 2014.

"Löwenheim and Hanf numbers of the paraconsistent logic L_{\Omega \Omega}'', Australasian Association for Logic, Christchurch, November 2014.

"The consistency of first order logic'', Postgraduate Workshop (Otago), September 2014.

"Inconsistent Model Theory'', Research Seminar (Otago), March 2014.