Guillermo Badia

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 28

Top Topics

Relational Structures

First Order Logic

Propositional Logic

Quantifier Elimination

Top Venues

Ann. Pure Appl. Log.

Rev. Symb. Log.

J. Philos. Log.

Publications

Grigory K. Olkhovikov, Guillermo Badia
Craig interpolation Theorem Fails in bi-intuitionistic Predicate Logic. Rev. Symb. Log. 17 (2) (2024)
Guillermo Badia, Xavier Caicedo, Carles Noguera
Maximality of Logic without Identity. J. Symb. Log. 89 (1) (2024)
Guillermo Badia, Daniel Gaina, Alexander Knapp, Tomasz Kowalski, Martin Wirsing
Hybrid-Dynamic Ehrenfeucht-Fraïssé Games. CoRR (2024)
Guillermo Badia, Manfred Droste, Carles Noguera, Erik Paul
Logical Characterizations of Weighted Complexity Classes. MFCS (2024)
Daniel Gaina, Guillermo Badia, Tomasz Kowalski
Omitting types theorem in hybrid dynamic first-order logic with rigid symbols. Ann. Pure Appl. Log. 174 (3) (2023)
Guillermo Badia, Xavier Caicedo, Carles Noguera
Frame definability in finitely valued modal logics. Ann. Pure Appl. Log. 174 (7) (2023)
Grigory K. Olkhovikov, Guillermo Badia, Reihane Zoghifard
A Lindström theorem for intuitionistic first-order logic. Ann. Pure Appl. Log. 174 (10) (2023)
Guillermo Badia
Editorial: Special issue in honour of John Newsome Crossley. Log. J. IGPL 31 (6) (2023)
Guillermo Badia, Zach Weber, Patrick Girard
Paraconsistent Metatheory: New Proofs with Old Tools. J. Philos. Log. 51 (4) (2022)
Guillermo Badia, Tomasz Kowalski, Daniel Gaina
Robinson consistency in many-sorted hybrid first-order logics. AiML (2022)
Grigory K. Olkhovikov, Guillermo Badia
Maximality of bi-intuitionistic propositional logic. J. Log. Comput. 32 (1) (2022)
Guillermo Badia, Petr Cintula, Petr Hájek, Andrew Tedder
How Much Propositional Logic Suffices for Rosser's Essential Undecidability Theorem? Rev. Symb. Log. 15 (2) (2022)
Guillermo Badia, Carles Noguera
Saturated models of first-order many-valued logics. Log. J. IGPL 30 (1) (2022)
Guillermo Badia, Carles Noguera
A 0-1 Law in Mathematical Fuzzy Logic. IEEE Trans. Fuzzy Syst. 30 (9) (2022)
Guillermo Badia, Carles Noguera
Lindström theorems in graded model theory. Ann. Pure Appl. Log. 172 (3) (2021)
Guillermo Badia, Carles Noguera
A General Omitting Types Theorem in Mathematical Fuzzy Logic. IEEE Trans. Fuzzy Syst. 29 (6) (2021)
Guillermo Badia, Grigory K. Olkhovikov
A Lindström theorem in many-valued modal logic over a finite MTL-chain. Fuzzy Sets Syst. 388 (2020)
Guillermo Badia, Grigory K. Olkhovikov
A Lindström Theorem for Intuitionistic Propositional Logic. Notre Dame J. Formal Log. 61 (1) (2020)
Guillermo Badia, Vicent Costa, Pilar Dellunde, Carles Noguera
Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic. Soft Comput. 23 (7) (2019)
Guillermo Badia, Carles Noguera
Saturated Models in Mathematical Fuzzy Logic. ISMVL (2018)
Guillermo Badia, Andrew Tedder
On elimination of quantifiers in some non-classical mathematical theories. Math. Log. Q. 64 (3) (2018)
Guillermo Badia, Carles Noguera
Fraïssé classes of graded relational structures. Theor. Comput. Sci. 737 (2018)
Guillermo Badia
On Sahlqvist Formulas in Relevant Logic. J. Philos. Log. 47 (4) (2018)
Guillermo Badia
Model Definability in Relevant Logic. FLAP 4 (3) (2017)
Guillermo Badia
Infinitary Propositional Relevant Languages with Absurdity. Rev. Symb. Log. 10 (4) (2017)
Guillermo Badia
A Lindström-style theorem for finitary propositional weak entailment languages with absurdity. Log. J. IGPL 24 (2) (2016)
Guillermo Badia
The Relevant Fragment of First order Logic. Rev. Symb. Log. 9 (1) (2016)
Guillermo Badia
Bi-Simulating in Bi-Intuitionistic Logic. Stud Logica 104 (5) (2016)