The University of Queensland

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

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

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), 1-16. doi: 10.1017/jsl.2023.2

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

A substructural logic for inconsistent mathematics

Badia, Guillermo and Weber, Zach (2019). A substructural logic for inconsistent mathematics. Dialetheism and its applications. (pp. 155-176) edited by Adam Reiger and Gareth Young. Cham, Switzerland: Springer. doi: 10.1007/978-3-030-30221-4_9

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

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

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

Badia, Guillermo and Bell, John Lane (2023). A parametrised axiomatization for a large number of restricted second-order logics. Journal of Logic and Computation. doi: 10.1093/logcom/exad050

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

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

Relevant Consequence Relations: An Invitation

Badia, Guillermo, Behounek, Libor, Cintula, Petr and Tedder, Andrew (2023). Relevant Consequence Relations: An Invitation. The Review of Symbolic Logic, 1-24. doi: 10.1017/s1755020323000205

First-order friendliness

Badia, Guillermo and Makinson, David (2023). First-order friendliness. Review of Symbolic Logic, 1-13. doi: 10.1017/S175502032300014X

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

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), 1-16. doi: 10.1017/jsl.2023.2

Asymptotic truth-value laws in many-valued logics

Badia, Guillermo, Caicedo, Xavier and Noguera, Carles (2023). Asymptotic truth-value laws in many-valued logics.

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, 1-23. doi: 10.1017/S1755020322000296

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

Axiomatization via translation: Hiz's warning for predicate logic

Badia, Guillermo, Crossley, John and Humberstone, Lloyd (2022). Axiomatization via translation: Hiz's warning for predicate logic. Logique et Analyse, 257 (257), 39-56. doi: 10.2143/LEA.257.0.3291070

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

Maximality of bi-intuitionistic propositional logic

Olkhovikov, Grigory and Badia, Guillermo (2021). Maximality of bi-intuitionistic propositional logic. Journal of Logic and Computation, 32 (1) exab058, 1-31. doi: 10.1093/logcom/exab058

A general omitting types theorem in mathematical fuzzy logic

Badia, Guillermo and Noguera, Carles (2021). A general omitting types theorem in mathematical fuzzy logic. IEEE Transactions on Fuzzy Systems, 29 (6) 9003263, 1386-1394. doi: 10.1109/TFUZZ.2020.2975146

Lindström theorems in graded model theory

Badia, Guillermo and Noguera, Carles (2021). Lindström theorems in graded model theory. Annals of Pure and Applied Logic, 172 (3) 102916, 102916. doi: 10.1016/j.apal.2020.102916

Saturated models in first-order many-valued logics

Badia, Guillermo and Noguera, Carles (2020). Saturated models in first-order many-valued logics. Logic Journal of the IGPL, 30 (1), 1-20. doi: 10.1093/jigpal/jzaa027

How much propositional logic suffices for Rosser’s essential undecidability theorem?

Badia, Guillermo, Cintula, Petr, Hajek, Petr and Tedder, Andrew (2020). How much propositional logic suffices for Rosser’s essential undecidability theorem?. Review of Symbolic Logic, 15 (2), 1-18. doi: 10.1017/S175502032000012X

A Lindström Theorem in Many-Valued Modal Logic over a Finite MTL-chain

Badia, Guillermo and Olkhovikov, Grigory (2020). A Lindström Theorem in Many-Valued Modal Logic over a Finite MTL-chain. Fuzzy Sets and Systems, 388, 26-37. doi: 10.1016/j.fss.2019.03.002

A Lindström theorem for intuitionistic propositional logic

Badia, Guillermo and Olkhovikov, Grigory (2020). A Lindström theorem for intuitionistic propositional logic. Notre Dame Journal of Formal Logic, 61 (1), 11-30. doi: 10.1215/00294527-2019-0030

Incompactness of the A1 fragment of basic second order propositional relevant logic

Badia, Guillermo (2019). Incompactness of the A1 fragment of basic second order propositional relevant logic. Australasian Journal of Logic, 16 (1), 1-8. doi: 10.26686/ajl.v16i1.3925

Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic

Badia, Guillermo, Costa, Vicent, Dellunde, Pilar and Noguera, Carles (2019). Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic. Soft Computing, 23 (7), 2177-2186. doi: 10.1007/s00500-019-03850-6

Fraisse classes of graded relational structures

Badia, Guillermo and Noguera, Carles (2018). Fraisse classes of graded relational structures. Theoretical Computer Science, 737, 81-90. doi: 10.1016/j.tcs.2018.05.010

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

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

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

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

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

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

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.

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

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

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

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

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

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.

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.

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

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.

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.