A Lindström-style theorem for finitary propositional weak entailment languages with absurdity. - Guillermo Badia (Log. J. IGPL, 2016)

The Relevant Fragment of First order Logic. - Guillermo Badia (Rev. Symb. Log., 2016)

Bi-Simulating in Bi-Intuitionistic Logic. - Guillermo Badia (Stud Logica, 2016)

Model Definability in Relevant Logic. - Guillermo Badia (FLAP, 2017)

Infinitary Propositional Relevant Languages with Absurdity. - Guillermo Badia (Rev. Symb. Log., 2017)

Saturated Models in Mathematical Fuzzy Logic. - Guillermo Badia; Carles Noguera (ISMVL, 2018)

On Sahlqvist Formulas in Relevant Logic. - Guillermo Badia (J. Philos. Log., 2018)

On elimination of quantifiers in some non-classical mathematical theories. - Guillermo Badia; Andrew Tedder (Math. Log. Q., 2018)

Fraïssé classes of graded relational structures. - Guillermo Badia; Carles Noguera (Theor. Comput. Sci., 2018)

Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic. - Guillermo Badia; Vicent Costa; Pilar Dellunde; Carles Noguera (Soft Comput., 2019)

A Lindström theorem in many-valued modal logic over a finite MTL-chain. - Guillermo Badia; Grigory K. Olkhovikov (Fuzzy Sets Syst., 2020)

A Lindström Theorem for Intuitionistic Propositional Logic. - Guillermo Badia; Grigory K. Olkhovikov (Notre Dame J. Formal Log., 2020)

Lindström theorems in graded model theory. - Guillermo Badia; Carles Noguera (Ann. Pure Appl. Log., 2021)

A General Omitting Types Theorem in Mathematical Fuzzy Logic. - Guillermo Badia; Carles Noguera (IEEE Trans. Fuzzy Syst., 2021)

Robinson consistency in many-sorted hybrid first-order logics. - Guillermo Badia; Tomasz Kowalski; Daniel Gaina (AiML, 2022)

Saturated models of first-order many-valued logics. - Guillermo Badia; Carles Noguera (Log. J. IGPL, 2022)

Paraconsistent Metatheory: New Proofs with Old Tools. - Guillermo Badia; Zach Weber; Patrick Girard 004 (J. Philos. Log., 2022)

Maximality of bi-intuitionistic propositional logic. - Grigory K. Olkhovikov; Guillermo Badia (J. Log. Comput., 2022)

How Much Propositional Logic Suffices for Rosser's Essential Undecidability Theorem? - Guillermo Badia; Petr Cintula; Petr Hájek 001; Andrew Tedder (Rev. Symb. Log., 2022)

A 0-1 Law in Mathematical Fuzzy Logic. - Guillermo Badia; Carles Noguera (IEEE Trans. Fuzzy Syst., 2022)

Omitting types theorem in hybrid dynamic first-order logic with rigid symbols. - Daniel Gaina; Guillermo Badia; Tomasz Kowalski (Ann. Pure Appl. Log., 2023)

Frame definability in finitely valued modal logics. - Guillermo Badia; Xavier Caicedo; Carles Noguera (Ann. Pure Appl. Log., 2023)

Editorial: Special issue in honour of John Newsome Crossley. - Guillermo Badia (Log. J. IGPL, 2023)

A Lindström theorem for intuitionistic first-order logic. - Grigory K. Olkhovikov; Guillermo Badia; Reihane Zoghifard (Ann. Pure Appl. Log., 2023)

Logical Characterizations of Weighted Complexity Classes. - Guillermo Badia; Manfred Droste; Carles Noguera; Erik Paul (MFCS, 2024)

Many-Expert Decision Trees. - Guillermo Badia; Carles Noguera; Alberto Paparella; Guido Sciavicco (OVERLAY, 2024)

Fitting's Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation. - Guillermo Badia; Carles Noguera; Alberto Paparella; Guido Sciavicco; Ionel Eduard Stan (TIME, 2024)

Hybrid-Dynamic Ehrenfeucht-Fraïssé Games. - Guillermo Badia; Daniel Gaina; Alexander Knapp; Tomasz Kowalski; Martin Wirsing (CoRR, 2024)

Maximality of Logic without Identity. - Guillermo Badia; Xavier Caicedo; Carles Noguera (J. Symb. Log., 2024)

A parametrized axiomatization for a large number of restricted second-order logics. - Guillermo Badia; John L. Bell (J. Log. Comput., 2024)

Relevant Consequence Relations: an Invitation. - Guillermo Badia; Libor Behounek; Petr Cintula; Andrew Tedder (Rev. Symb. Log., 2024)

First-order Friendliness. - Guillermo Badia; David Makinson (Rev. Symb. Log., 2024)

Craig interpolation Theorem Fails in bi-intuitionistic Predicate Logic. - Grigory K. Olkhovikov; Guillermo Badia (Rev. Symb. Log., 2024)

Codd's Theorem for Databases over Semirings. - Guillermo Badia; Phokion G. Kolaitis; Carles Noguera (CoRR, 2025)

Fagin's Theorem for Semiring Turing Machines. - Guillermo Badia; Manfred Droste; Thomas Eiter; Rafael Kiesel; Carles Noguera; Erik Paul (CoRR, 2025)